lablqml. Interfacing Qt/QML with OCaml. Formely known as lablqt
167zanuda. OCaml linter
96camlyaml. YAML parser for OCaml
10Neznaju. Discontinued. Kate plugin for collaborated editing
7rukaml. Strict MiniML compiler implementation
6ocaml-neo4j. API to access Neo4j database via REST
6LogicT-demos. Updated demos for a paper `Backtracking, Interleaving, and Terminating Monad Transformers`
5ocaml-qt-android-demo. Hello world about lablqt: OCaml+Qt on Android
4Falka. A tool for using fsyacc and parser-combinators together.
4ocaml-pgn. Parser for chess Portable Game Format
4fp2024. OCaml
4comp24. OCaml
3fastware. Some performance microbenchmarking for OCaml
3QOcamlBrowser_quick. A clone of ocamlbrowser application written in OCaml+QtQuick 2.0 using lablqt library and mocml generator.
3qml-test-2. C++
3proelium. Civilization III - like fighting model.
3osm-parser. an example for thedeemons article about parser combinators
3test-qml-jsoo. Demo for QtQuick and Js_of_ocaml integration.
3Qt_libusb. Qt GUI with libusb integration example.
3bakmachine. Yet another virtual machine for a toy language
2lama-compiler-2022. Homework as PR should go here.
2unicanren. OCaml
2OCanren-basic-template. A template repository for relational programming using OCanren
2bitvector-mk. OCaml
2ppx_gt. OCaml
2xcp-xapi. Sandpit for xcp-xapi from wheezy
2vcaml. Playground about symbolic interpreters
2Triss. Haxe IDE
2pp_sexp. Pretty-printing of s-expressions. Implemented in OCaml
1typeutil. Svn mirror of http://oops.math.spbu.ru/projects/typeutil/
1obsidian-timelines-workout. TypeScript
1dune-demo-two-ppxes. OCaml
1test-nix-ocaml. OCaml
1klogic_of_ocanren. OCaml
1phil_asp.
1haskell-exam-arithm. Haskell
1comp25. OCaml
1sdl_ocaml_examples. OCaml
1ocanren-perf. Benchmarks for different miniKanren implementations
1tarjan. Implementation of Tarjan's algotithm for OCamlGraph library
1Megaclops. Haskell
1BakmachineHS. Haskell
1