๐ฉ๐ฐ Made in Denmark
Discover Denmark's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Denmark.
TOP OCaml Projects
andreas/ocaml-graphql-server
GraphQL servers in OCaml
paurkedal/ocaml-caqti
Cooperative-threaded access to relational data
jozefg/blott
An experimental type checker for a modal dependent type theory.
jozefg/nbe-for-mltt
Normalization by Evaluation for Martin-Lรถf Type Theory
Leonidas-from-XIV/slacko
A neat interface for Slack
jonsterling/dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
andreas/ppx_graphql
Type-safe GraphQL queries in OCaml
jmid/qcstm
A simple state-machine framework for OCaml based on QCheck
andersfugmann/amqp-client
OCaml Amqp client library for Async and Lwt.
jmid/mutaml
An OCaml mutation tester
paurkedal/ppx_regexp
Matching Regular Expressions with OCaml Patterns
lauritzsh/cryptomon
Cryptocurrency Portfolio Monitor
andersfugmann/aws-s3
Ocaml library to access Amazon S3
andersfugmann/ppx_protocol_conv
Pluggable serialization and deserialization of ocaml data strucures based on type_conv
andreas/ocaml-dataloader
Dataloader is a utility for batching and caching when fetching data, in particular for GraphQL.
jmid/efftester
Effect-Driven Compiler Tester for OCaml
logic-tools/sml-handbook
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
jlouis/erlangnode
Run an OCaml program as an erlang node
reynir/banawa-chat
SSH chat server using trust on first use for user registration
andreas/ocaml-graphql-tutorial
GraphQL in OCaml tutorial (CUFP 2017)
jonsterling/ocaml-forester
Mirror of ocaml-forester
paurkedal/episql
SQL schema parser and code generator
logsem/mitten_preorder
soren-n/bidi-higher-rank-poly
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
rand00/fry
Functional reactive rhythm library
cem2ran/refocus
Explorations into reasonably ergonomic lens derivations
paurkedal/ocaml-radixmap
Map ร la Binary Radix Tree
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
reynir/qubes-mirage-ssh-agent
Ssh-agent unikernel for QubesOS
reynir/ocp-index-top
Leonidas-from-XIV/nosetup
An automatic require loader for OCaml toplevels
andreas/mirage-swim
Membership protocol for Mirage unikernel clusters based on SWIM
jonsterling/tt
secret project
rand00/conntest
MirageOS unikernel to test networking
kristianmandrup/bs-xstate
Bucklescript bindings for XState state machine
reynir/ocaml-ssh-agent
Leonidas-from-XIV/orewa
An Async-friendly Redis binding
ahf/ircd-scylla
MirageOS IRC daemon.
jmid/mirage-hole
Leonidas-from-XIV/ocaml-wiringpi
Binding to the WiringPi library
jlouis/transit-ocaml
The Transit format in OCaml
Thomas0c/solar-weather
React Native Weather App w. Realm, Redux, ReasonReact & Forecast.io
paurkedal/batyr
A jabber logger and web interface
reynir/origami-sledgehammer
It's a pastebin, okay?
paurkedal/ocaml-bitpath
Efficient bit-string type along with containers to partition data on variable-length bit-strings.
andreas/ocaml-memcached
OCaml memcached client using core, async and bitstring.
jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
andreas/ocaml-fdb
OCaml client bindings for FoundationDB
andreas/irmin-fdb
Irmin store backed by FoundationDB
paurkedal/ephca
astahfrom/prettiest
A Pretty but not Greedy Printer in OCaml
paurkedal/ocaml-prime
Supplements to the OCaml library
jmid/regexpanalyser
Lattice valued regular expressions and an example analysis
reynir/mirage-block-partition
Partition a Mirage block device into two block devices
paurkedal/ocaml-cumulus
Differential FRP based on the React library
andersfugmann/ocaml-protoc-plugin
Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
rand00/flappy
Flappy bird, written using Elm architecture in OCaml
reynir/mirage-cat
Cat implemented in MirageOS for solo5
mads-hartmann/ocaml-utop-emacs-example
A small example to accompany a blog post on using utop in Emacs with your own OCaml projects
keleshev/Terminal.ml
Templating library for styling terminal text and type-safe variable substitution
reynir/let-if
paurkedal/caqti-study
rand00/ocaml_supercollider_interface
Simple interface between OCaml and the SuperCollider server used for controlling existing synth-defs
reynir/gptar
GPT + TAR header
Leonidas-from-XIV/escalate
Implementation of the Deflate algorithm in pure OCaml
paurkedal/viz
The Viz Language
paurkedal/iplogic
A DSL for generating iptables firewall scripts.
paurkedal/ppx_deriving_random
Syntax extension to generate random instances of types
keleshev/monads
Implementation of monads from the original monad paper in OCaml and F#
paurkedal/inhca
In-House CA
keleshev/Integers.ml
Pure OCaml emulation of {u,}int{8,16,32} integers
cem2ran/InstaClone
jonsterling/effectful-typesetting
A case-study in effects-and-handlers for bubbling out configurations from the interior of programs that typeset text.
paurkedal/tuplet
Arity-generic API for tuple representations
paurkedal/confero
Unicode collation library for OCaml
reynir/ppx_optint
paurkedal/ocaml-mediawiki-api
MediaWiki API
soren-n/typeset-ocaml
An embedded DSL for defining source code pretty printers implemented in OCaml
reynir/ocaml-digitalocean
OCaml library for the digitalocean.com v1 API
reynir/ocaml-secret-sharing
Threshold Secret Sharing in OCaml
andersfugmann/ppx-deriving-protocol
Deprecated: Project moved to ppx_protocol_conv
jmid/sm2-tes21
'Functional Programming and Property-Based Testing' at SDU, Spring 2021
paurkedal/ocaml-cothrift
Concurrent Thrift Runtime for OCaml
andersfugmann/borderline
Firewall compiler for Ipv4/6
jmid/xyz-exp-ast
A simple example of using ocamllex and menhir to build an abstract syntax tree
malthe/bs-virtualdom
A virtual DOM library written in OCaml/BuckleScript with a focus on ease-of-use, immutability and performance.
jespera/derivative-parser
Parsing with derivatives (cf. Yacc is dead)
rand00/mirage_hands-on
Unikernel-code and information to get up and running with MirageOS
andreas/glee
Toy language inspired by Joy
reynir/oneffs
Single file filesystem for MirageOS - mirror
jmid/lcheck
A library for quickchecking lattice modules and associated operations
Ahnfelt/mlcsp
(Not under active development). OCamlCSP is a library for Ocaml based on Tony Hoares Communicating Sequential Processes (CSP) .
rand00/mtag
CLI media/file-tagger and query tool
jonsterling/ocaml-modular-typechecking
Modular type checking using open types
paurkedal/panograph
Data-Centric Widgets for Eliom
SSoelvsten/mlightdp
An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving
andersfugmann/mindstorm-ev3
Ocaml library for controlling Lego Mindstorm EV3
kfl/muddy
MuDDy is a ML interface to the Binary Decision Diagrams package BuDDy
paurkedal/subsocia
People, organizational data, and access control
paurkedal/ocaml-iso639
Language codes for OCaml