stappl

🎲 Statically typed probabilistic programming language, feat. GADT

Stars
3
View Code on GitHub View on X
Ecosystems: OCaml

Issue Statistics

Past Year

All Time

Total Pull Requests
12
12
Merged Pull Requests
12
12
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
dde

Pure Demand Operational Semantics

22 Nov 2022 5
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
bap

Binary Analysis Platform

30 Oct 2014 2,052
patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

12 Apr 2024 9
ocaml-for-pa

Introduction to OCaml for Program Analysis

04 Nov 2022 7
ocamltarzan

Compile Time Reflection or Metaprogramming for OCaml

24 Jul 2010 17
cooltt

😎TT

20 Dec 2019 217
MPP-language-blender

MPP: a meta preprocessor that blends programming languages

24 Apr 2013 33
camlgrad

Toy autograd engine in OCaml with Apple Accelerate backend

11 Feb 2024 30
ctypes-stubs-generation-notes

OCaml Ctypes stubs generation notes

25 Feb 2019 18
js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932
datalog

An in-memory datalog implementation for OCaml.

24 Dec 2012 254
Temporal-NetKAT

04 Feb 2016 6
prolog

An implementation of Prolog written in OCaml

29 Nov 2017 2