prekel/LangTheory

Теория автоматов и формальных языков (лабы)

Language: F# - Size: 21.1 MB - Last synced: 30 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/Dsbtzh

Language: F# - Size: 15.6 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

prekel/ocamlnet Fork of NightBlues/ocamlnet

Mirror of ocamlnet

Size: 7.1 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

prekel/book Fork of realworldocaml/book

V2 of Real World OCaml

Language: OCaml - Size: 224 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 2

prekel/chapgame

Physics engine based on a priori collision detection approach (bachelor thesis)

Language: OCaml - Size: 47.6 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

prekel/DbMessenger

Messenger which uses PostgreSQL prepared transactions as backend and Embedded SQL on frontend

Language: C - Size: 68.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

prekel/JavaSpring 📦

Language: Java - Size: 8.92 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/PostgresClickHouseCRUD 📦

Language: C# - Size: 2.83 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/ObjectOrientedProgramming 📦

Language: Java - Size: 14.5 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

prekel/VVID-Practice2 📦

Language: C++ - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

prekel/LabWork2 📦

Language: C - Size: 68.4 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

prekel/sfu-timetable 📦

Language: Vue - Size: 3.52 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/rescript-playground

Language: ReScript - Size: 730 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

prekel/SpaceFiller

Simple mobile/cross-platform application built on Fabulous

Language: F# - Size: 3.75 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

prekel/ergo Fork of accordproject/ergo

Programming Language for Smart Legal Contracts

Size: 86.8 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/SystemProgramming

Системное программирование (лабы)

Language: C - Size: 90.3 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/rescript-bbcode

BBCode parser written in OCaml/ReScript/BuckleScript with TypeScript interface

Language: OCaml - Size: 150 KB - Last synced: 18 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

prekel/js_of_ocaml Fork of ocsigen/js_of_ocaml

Compiler from OCaml to Javascript.

Size: 361 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

prekel/linguist Fork of github/linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Size: 36.2 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

prekel/DummyPathtracer

Simple dummy path tracer based on Peter Shirley's Ray Tracing in One Weekend book

Language: F# - Size: 20.4 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 1

prekel/bonsai Fork of janestreet/bonsai

A library for building dynamic webapps, using Js_of_ocaml

Language: OCaml - Size: 1.13 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

prekel/azureusage

Language: OCaml - Size: 878 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

prekel/virtual_dom Fork of janestreet/virtual_dom

OCaml bindings for the virtual-dom library

Size: 636 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

prekel/WebBackend

Language: F# - Size: 7.09 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/software-testing

Language: OCaml - Size: 3.81 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/akka-bootcamp Fork of petabridge/akka-bootcamp

Self-paced training course to learn Akka.NET fundamentals from scratch

Size: 14.4 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

prekel/SqlHydra Fork of JordanMarr/SqlHydra

SqlHydra is a suite of NuGet packages for working with databases in F# including code generation tools and query expressions.

Language: F# - Size: 21.4 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

prekel/oni2 Fork of onivim/oni2

Native, lightweight modal code editor

Language: Reason - Size: 277 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

prekel/sfu-timetable-3d50

Расписание СФУ

Language: TypeScript - Size: 7.12 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

prekel/dark Fork of darklang/dark

Client, backend, and services for Dark: https://darklang.com

Language: OCaml - Size: 27.3 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

prekel/tablecloth Fork of darklang/tablecloth

An ergonomic, cross-platform, standard library for ReasonML and OCaml

Size: 4.19 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/WPF-Samples Fork of microsoft/WPF-Samples

Repository for WPF related samples

Language: C# - Size: 17.8 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/places-remember

Language: Python - Size: 1.64 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 1

prekel/ComputerSecurity

Компьютерная безопасность (лабы)

Language: C# - Size: 6.21 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/MyExpression

Решение алгебраических уравнений любой степени с заданной точностью

Language: C# - Size: 593 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/rustlings Fork of rust-lang/rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language: Rust - Size: 1.05 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/resharper-fsharp Fork of JetBrains/resharper-fsharp

F# support in JetBrains Rider

Language: F# - Size: 11.6 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/MetalSharp Fork of 71/MetalSharp

[Unmaintained] A type-safe F# assembler currently targeting x86 and ARM.

Language: F# - Size: 81.1 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

prekel/DiningActors

Language: Rust - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/CollaborativeDocumentEditing

Language: C# - Size: 818 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/Giraffe.ViewEngine.Mvc

Language: F# - Size: 48.8 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/CSharpLabs

Язык программирования C# (лабы)

Language: C# - Size: 11.1 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/AlgorithmsAndDataStructures

Алгоритмы и структуры данных (лабы)

Language: C# - Size: 7.47 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/AlikBot

Телеграм-бот, умеющий отгадывать слова [не включен]

Language: C# - Size: 3.72 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/Saturn Fork of SaturnFramework/Saturn

Opinionated, web development framework for F# which implements the server-side, functional MVC pattern

Language: F# - Size: 5.37 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/DomainModelingMadeFunctional Fork of swlaschin/DomainModelingMadeFunctional

Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofit.com/books/

Language: F# - Size: 274 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/MdViewEngine

Language: F# - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

prekel/DuckDuckGoogle

Language: F# - Size: 129 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

prekel/FunctionalProgramming

Language: Haskell - Size: 136 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/AngouriMath Fork of asc-community/AngouriMath

Open-source symbolic algebra library for C#. One of the most powerful in .NET

Size: 5.91 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/PhotoLiker

Language: C# - Size: 42 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

prekel/Botyara

Language: C# - Size: 504 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 2

prekel/VK-music-bot-for-discord Fork of riiji/VK-music-bot-for-discord

simple vk music bot

Language: C# - Size: 53.3 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/MyMessengerQtClient

Language: C++ - Size: 68.4 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

prekel/NortCrypt

Language: JavaScript - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

prekel/DarkThemeToggle

Language: C# - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/MyMessenger

Language: C# - Size: 1.34 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

prekel/ListParser

Language: C# - Size: 599 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/WikiParser

Language: C# - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

prekel/MySolutionExplorer

Language: C# - Size: 185 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 1

prekel/Figures

Language: C# - Size: 128 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

prekel/LocalChat

Language: C# - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

prekel/CardGame

Language: C# - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

prekel/Psort

Language: C++ - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

prekel/Snke

Language: C++ - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0