π©πͺ 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
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.
Nitrokey/nethsm
Nitrokey NetHSM system software and firmware
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
rlepigre/ocaml-bindlib
Efficient binder representation in OCaml
foretspaisibles/ocaml-dockertk
The missing Docker Toolkit
foretspaisibles/ocaml-rashell
Resilient replicant Shell Programming Library
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/ocamljit2
Just-In-Time compiler for the OCaml byte-code runtime.
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
rlepigre/subml
SubML (prototype) language
bmeurer/ocaml-rbtrees
Red-Black Trees for OCaml.
acorrenson/owl
A mini language for logic programming
juergenhoetzel/ocaml-systemd
OCaml module for native access to the systemd facilities
olleharstedt/pholyglot
Experiment with PHP+C polyglot snippets and a transpiler written in OCaml
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)"]
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
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.
rixed/ramen
A stream processing language and compiler for small-scale monitoring
bmeurer/ocaml-experimental
Various experimental changes to OCaml.
pippijn/merr
Error message generator for state/token pairs.
gaultier/lox-ocaml
Implementation of the Lox language in OCaml
foretspaisibles/lemonade
The sparkling monad library
nadako/ml2hx
rudolfs/tap-bpm
Tap space-bar to find out BPM
choeger/ppx_deriving_morphism
Deriving morphisms for OCaml data structures
verbosemode/syslogd-mirage
MirageOS Syslog Unikernel
acorrenson/cqfd
A why3 certified prover for propositional logic
sgreben/ocaml-rename
An .mli-aware command-line renaming tool for OCaml projects
foretspaisibles/broken
Extensible testsuite framework for OCaml
fhars/divoc-git-talk
burgerdev/ocaml-rfc7748
Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)
acorrenson/modulus
A constraint solver built from scratch in OCaml
bmeurer/ocaml-arm
New ARM backend for the OCaml native code compiler with support for both armel and armhf.
sgreben/ocaml-redis-protocol
Redis Serialization Protocol (RESP) for OCaml
samrat/rayml
A raytracer written in OCaml
sosy-lab/tbf
A framework for using test case generators to locate errors in C programs
sabine/ocaml-to-wasm
trying to make sense of Clambda->WebAssembly, currently experimental and useless
nondeterministic/ltl3tools
Convert LTL formulas into finite-state automata for monitoring
rauschma/reasonml-demo-functors
acorrenson/Oratio
Translate natural deduction proofs into natural language.
verbosemode/onionctrl
acorrenson/Maybe
A tiny probabilist functional language
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
acorrenson/lili
Minimalist proof checker based on a simply typed lambda-calculus
neshtea/mjson
Composable, applicative and monadic DSL for decoding Yojson values.
sabine/ocaml-blog-tutorial
larsrh/datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
samrat/sambe
A compiler backend. WIP
emmenko/tourname
π§ Under construction π¨π·
rauschma/reasonml-demo-iterators
pippijn/glr
GLR parser generator for OCaml based on Elkhound
mrvn/onemq
udp based language independent messaging system
erhangundogan/journeys
Programming kata exercise with OCaml
acorrenson/ocallm
Training a (tiny) language model in OCaml, from scratch
foretspaisibles/lemonade-sqlite
Monadic interface to sqlite
fdopen/depext-cygwinports
pippijn/menhir
Menhir (OCaml parser generator) branch with minimal support for better error messages.
choeger/e2lang
embedded equation language
pippijn/cparser
A clean C parsing library for OCaml.
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.
erhangundogan/webcamel
Web crawler using irmin for storage and graphql to serve data
sheijk/Zomp
An anarchist programming language aka a programmable C
mrvn/caramel
Ocaml like toy programming language
acorrenson/ocaml_web_ui
An example of web application written in OCAML
fdopen/ctypes-zarith
Demo how to mix ctypes and "custom" OCaml types
choeger/modelica.ml
Modelica frontend implemented in OCaml
rixed/portia
ultimate literate programing preprocessor
rixed/ocaml-bin-annot
Tells the OCaml type under the cursor
wickedchicken/mondrian_grid
mondrian (x)html grid compiler
bonkf/trackerscraper
Tool to contact BitTorrent trackers and retrieve peer IP addresses
rixed/ocaml-4-for-mips
Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)
mrvn/ocaml-ras
redundancy archive system for OCaml
verbosemode/csprimer
my solutions for csprimer.com exercises
erhangundogan/ocaml-chess
OCaml chess game library. Currently featuring algebraic notations read/write
foretspaisibles/getopts
Program arguments analysis for OCaml
eWert-Online/reason-cdp
eschaefer/bngo
A Soundcloud music discovery app built with ReasonML
acorrenson/kind2coq
A experimental compiler from Kind (Core) to Coq