Saint-Petersburg, Russia

Dmitrii Kosarev

Expert
@Kakadu

lablqml. Interfacing Qt/QML with OCaml. Formely known as lablqt

167

zanuda. OCaml linter

96

camlyaml. YAML parser for OCaml

10

Neznaju. Discontinued. Kate plugin for collaborated editing

7

rukaml. Strict MiniML compiler implementation

6

ocaml-neo4j. API to access Neo4j database via REST

6

LogicT-demos. Updated demos for a paper `Backtracking, Interleaving, and Terminating Monad Transformers`

5

ocaml-qt-android-demo. Hello world about lablqt: OCaml+Qt on Android

4

Falka. A tool for using fsyacc and parser-combinators together.

4

ocaml-pgn. Parser for chess Portable Game Format

4

fp2024. OCaml

4

comp24. OCaml

3

fastware. Some performance microbenchmarking for OCaml

3

QOcamlBrowser_quick. A clone of ocamlbrowser application written in OCaml+QtQuick 2.0 using lablqt library and mocml generator.

3

qml-test-2. C++

3

proelium. Civilization III - like fighting model.

3

osm-parser. an example for thedeemons article about parser combinators

3

test-qml-jsoo. Demo for QtQuick and Js_of_ocaml integration.

3

Qt_libusb. Qt GUI with libusb integration example.

3

bakmachine. Yet another virtual machine for a toy language

2

lama-compiler-2022. Homework as PR should go here.

2

unicanren. OCaml

2

OCanren-basic-template. A template repository for relational programming using OCanren

2

bitvector-mk. OCaml

2

ppx_gt. OCaml

2

xcp-xapi. Sandpit for xcp-xapi from wheezy

2

vcaml. Playground about symbolic interpreters

2

Triss. Haxe IDE

2

pp_sexp. Pretty-printing of s-expressions. Implemented in OCaml

1

typeutil. Svn mirror of http://oops.math.spbu.ru/projects/typeutil/

1

obsidian-timelines-workout. TypeScript

1

dune-demo-two-ppxes. OCaml

1

test-nix-ocaml. OCaml

1

klogic_of_ocanren. OCaml

1

phil_asp.

1

haskell-exam-arithm. Haskell

1

comp25. OCaml

1

sdl_ocaml_examples. OCaml

1

ocanren-perf. Benchmarks for different miniKanren implementations

1

tarjan. Implementation of Tarjan's algotithm for OCamlGraph library

1

Megaclops. Haskell

1

BakmachineHS. Haskell

1
42
Apply