Kakadu/vcaml Kakadu/vcaml

  • Stars
    star
    2
  • Language
    OCaml
  • Created over 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kakadu/vcaml
github

Kakadu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Playground about symbolic interpreters

More Repositories

1

lablqml

Interfacing Qt/QML with OCaml. Formely known as lablqt
OCaml
157
star
2

zanuda

OCaml linter
OCaml
63
star
3

camlyaml

YAML parser for OCaml
OCaml
11
star
4

fp2023

OCaml
11
star
5

Neznaju

Discontinued. Kate plugin for collaborated editing
C++
7
star
6

ocaml-neo4j

API to access Neo4j database via REST
OCaml
6
star
7

fp2022

OCaml
5
star
8

ocaml-pgn

Parser for chess Portable Game Format
OCaml
4
star
9

Falka

A tool for using fsyacc and parser-combinators together.
F#
4
star
10

ocaml-qt-android-demo

Hello world about lablqt: OCaml+Qt on Android
Makefile
4
star
11

LogicT-demos

Updated demos for a paper `Backtracking, Interleaving, and Terminating Monad Transformers`
Haskell
4
star
12

comp23hw

OCaml
3
star
13

ppx_gt

OCaml
3
star
14

qml-test-2

C++
3
star
15

QOcamlBrowser_quick

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

proelium

Civilization III - like fighting model.
C++
3
star
17

osm-parser

an example for thedeemons article about parser combinators
OCaml
3
star
18

test-qml-jsoo

Demo for QtQuick and Js_of_ocaml integration.
Makefile
3
star
19

fastware

Some performance microbenchmarking for OCaml
OCaml
2
star
20

lama-compiler-2022

Homework as PR should go here.
2
star
21

kakadu.github.io

TeX
2
star
22

bitvector-mk

OCaml
2
star
23

bakmachine

Yet another virtual machine for a toy language
OCaml
2
star
24

OCanren-basic-template

A template repository for relational programming using OCanren
OCaml
2
star
25

Triss

Haxe IDE
OCaml
2
star
26

xcp-xapi

Sandpit for xcp-xapi from wheezy
OCaml
2
star
27

Qt_libusb

Qt GUI with libusb integration example.
C++
2
star
28

klogic_of_ocanren

OCaml
1
star
29

ocanren-perf

Benchmarks for different miniKanren implementations
OCaml
1
star
30

BakmachineHS

Haskell
1
star
31

logger

Svn mirror of http://oops.math.spbu.ru/projects/logger/
OCaml
1
star
32

settings

Svn mirror of http://oops.math.spbu.ru/projects/settings/
OCaml
1
star
33

dune-demo-two-ppxes

OCaml
1
star
34

barbra

OCaml
1
star
35

Megaclops

Haskell
1
star
36

unicanren

OCaml
1
star
37

phil_asp

1
star
38

bigbro

Haxe
1
star
39

tarjan

Implementation of Tarjan's algotithm for OCamlGraph library
OCaml
1
star
40

sdl_ocaml_examples

OCaml
1
star
41

pp_sexp

Pretty-printing of s-expressions. Implemented in OCaml
OCaml
1
star
42

camloogle

Hoogle for OCaml using Ocsigen
1
star
43

qml-test

qml-test
C++
1
star
44

YEAPMM

Yet Another APM Meter
C++
1
star
45

ldd-2011

My practices on Linux Device Drivers course
C
1
star
46

checked

Svn mirror of http://oops.math.spbu.ru/projects/checked\/
OCaml
1
star
47

haskell-exam-arithm

Haskell
1
star
48

test-nix-ocaml

OCaml
1
star
49

obsidian-timelines-workout

TypeScript
1
star
50

typeutil

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