🇩🇪 Made in Germany
Discover Germany's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Germany.
TOP OCaml Projects
pirapira/bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
eWert-Online/OSnap
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
sgreben/ok
OCaml implementation of the K 2.0 array programming language
uds-psl/Prog
wickedchicken/ocaml_skeleton
A basic OCaml project with unit tests
fdopen/uwt
libuv bindings for OCaml
fdopen/ppx_cstubs
preprocessor for easier stub generation with ocaml-ctypes
derdon/menhir-example
This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.ocamlcore.org). After it is compiled, it can be used to parse a file which contains arithmetic expressions.
klartext/any-dl
any-dl: generic mediathek-downloader ("generic" means, you also can call it "scrapertool")
rlepigre/ocaml-imagelib
The imagelib library implements image formats such as PNG or PPM
foretspaisibles/ocaml-dockertk
The missing Docker Toolkit
rlepigre/ocaml-bindlib
Efficient binder representation in OCaml
foretspaisibles/ocaml-rashell
Resilient replicant Shell Programming Library
Nitrokey/nethsm
Nitrokey NetHSM system software and firmware
bmeurer/ocamljit2
Just-In-Time compiler for the OCaml byte-code runtime.
foretspaisibles/blueprint
The Blueprint project aims at delivering a full featured library of high quality graphics and diagrams for project managers and system desginers.
bmeurer/ocamlnat
Native toplevel for the OCaml language
olleharstedt/subsetphp
A type-inferring compiler for a safer and disciplined subset of PHP, based on HHVM Hack compiler
rixed/datasino
Random Data Generator for arbitrary data types
saschatimme/bs-react-navigation
Reason bindings for React Navigation
verbosemode/syslog-message
OCaml parser for RFC 3164 Syslog messages
bmeurer/ocaml-rbtrees
Red-Black Trees for OCaml.
rlepigre/subml
SubML (prototype) language
juergenhoetzel/ocaml-systemd
OCaml module for native access to the systemd facilities
acorrenson/owl
A mini language for logic programming
vale1410/bule
The SAT and QBF Programming Language Bule
sheijk/ppx_string_interpolate
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
olleharstedt/pholyglot
Experiment with PHP+C polyglot snippets and a transpiler written in OCaml
rlepigre/pml
New version of the PML language and (classical) proof assistant
rlepigre/ocaml-earley
Parsing library based on Earley Algorithm
rauschma/reasonml-demo-modules
foretspaisibles/gasoline
Gasoline is an OCaml library providing application templates. Applications written with Gasoline are parametrised by the command line, environment or configuration files, they support fine-grained lightweight internationalised diagnostics and handle software component dependencies.
saschatimme/reason-ui-explorer
Port of the React Native UIExplorer to Reason
gaultier/lox-ocaml
Implementation of the Lox language in OCaml
bmeurer/ocaml-experimental
Various experimental changes to OCaml.
pippijn/merr
Error message generator for state/token pairs.
rixed/ramen
A stream processing language and compiler for small-scale monitoring
foretspaisibles/lemonade
The sparkling monad library
nadako/ml2hx
kappelmann/eidi2_repetitorium_tum
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
rudolfs/tap-bpm
Tap space-bar to find out BPM
burgerdev/ocaml-rfc7748
Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)
verbosemode/syslogd-mirage
MirageOS Syslog Unikernel
choeger/ppx_deriving_morphism
Deriving morphisms for OCaml data structures
sgreben/ocaml-rename
An .mli-aware command-line renaming tool for OCaml projects
foretspaisibles/broken
Extensible testsuite framework for OCaml
fhars/divoc-git-talk
acorrenson/cqfd
A why3 certified prover for propositional logic
bmeurer/ocaml-arm
New ARM backend for the OCaml native code compiler with support for both armel and armhf.
acorrenson/modulus
A constraint solver built from scratch in OCaml
rauschma/reasonml-demo-functors
sabine/ocaml-to-wasm
trying to make sense of Clambda->WebAssembly, currently experimental and useless
samrat/rayml
A raytracer written in OCaml
sgreben/ocaml-redis-protocol
Redis Serialization Protocol (RESP) for OCaml
sosy-lab/tbf
A framework for using test case generators to locate errors in C programs
acorrenson/Oratio
Translate natural deduction proofs into natural language.
verbosemode/onionctrl
pippijn/mlwidgets
Curses widget toolkit and layout engine for OCaml.
foretspaisibles/mixture
A comprehensive mixins library for OCaml's module system.
rootmos/silly-ml
A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
acorrenson/lili
Minimalist proof checker based on a simply typed lambda-calculus
emmenko/tourname
🚧 Under construction 🔨👷
rauschma/reasonml-demo-iterators
neshtea/mjson
Composable, applicative and monadic DSL for decoding Yojson values.
larsrh/datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
samrat/sambe
A compiler backend. WIP
pippijn/glr
GLR parser generator for OCaml based on Elkhound
choeger/e2lang
embedded equation language
pippijn/cparser
A clean C parsing library for OCaml.
fdopen/depext-cygwinports
foretspaisibles/lemonade-sqlite
Monadic interface to sqlite
mrvn/onemq
udp based language independent messaging system
erhangundogan/journeys
Programming kata exercise with OCaml
pippijn/menhir
Menhir (OCaml parser generator) branch with minimal support for better error messages.
acorrenson/Maybe
A tiny probabilist functional language
brentbaum/advent-of-code
2017 advent of code, solved in Reason.
rootmos/ppx_useless
A useless ppx extension
burgerdev/cloudtools
run OCaml cloud-native
rlepigre/ocaml-timed
Timed references for imperative state
anmaped/rmtld3synth
Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.
wickedchicken/mondrian_grid
mondrian (x)html grid compiler
erhangundogan/webcamel
Web crawler using irmin for storage and graphql to serve data
mrvn/caramel
Ocaml like toy programming language
choeger/modelica.ml
Modelica frontend implemented in OCaml
acorrenson/ocaml_web_ui
An example of web application written in OCAML
fdopen/ctypes-zarith
Demo how to mix ctypes and "custom" OCaml types
rixed/portia
ultimate literate programing preprocessor
rixed/ocaml-bin-annot
Tells the OCaml type under the cursor
sabine/ocaml-blog-tutorial
bonkf/trackerscraper
Tool to contact BitTorrent trackers and retrieve peer IP addresses
pirapira/rlp-ocaml
RLP serialization for OCaml
V0ldek/MIMUW-IPF-Assignments
Assignments from Introduction to Programming (Functional approach), MIM UW, year 1
brianamarie/my-reason-react-app
mrvn/ocaml-ras
redundancy archive system for OCaml
fdopen/uwt-conduit
balu/toc
Software for "Theory of Computation".
acorrenson/Pym-s
Python with a sweet functionnal taste
rixed/ocaml-4-for-mips
Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)