Discover United Kingdom's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United Kingdom.
owlbarn/owl
Owl - OCaml Scientific Computing @ https://ocaml.xyzartagnon/rhine-ml
π an OCaml compiler for an untyped lispyallop/ocaml-ctypes
Library for binding to C libraries using pure OCamlxapi-project/xen-api
The Xapi Project's XenAPI Serverocamllabs/vscode-ocaml-platform
Visual Studio Code extension for OCamlkitten/sweetsour
A CSS-in-JS parser and pipeline adhering to the ISTF spec πjohnwhitington/cpdf-source
PDF Command Line Tools Sourcejohnwhitington/camlpdf
OCaml library for reading, writing and modifying PDF filesyallop/higher
Higher-kinded programming in OCamlxclerc/ocamljava
lpalmes/pure
React in pure Reason that targets native platforms.craigfe/progress
Progress bar library for OCamlstevenvar/OMicroB
An OCaml generic virtual machine for microcontrollersjohnelse/spotify-cli
CLI program for controlling the spotify desktop clientlindig/lua-ml
An embeddable Lua 2.5 interpreter implemented in OCamlujamjar/hardcaml
[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCamlsam-jay/shoo-lang
Shoo is a statically typed programming language with first-class functions, structs, and arrays.heidihoward/ocaml-raft
Implementation of Raft consensus algorithmimandra-ai/verified-react
Automated reasoning for React/ReasonMLocamllabs/ocaml-modular-implicits
OCaml extended with modular implicitskit-ty-kate/labrys
A toy language based on LLVM that implements the System FΟ type-systemchshersh/zbg
β¨ Zero bullshit gitjohnwhitington/ocamli
OCaml interpreterstephenrkell/libcrunch
A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.ARM-software/asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)SimonJF/cmm_of_wasm
A compiler from WebAssembly to native code, via the OCaml backend.yallop/ocaml-asp
Algebraic, staged parsing for OCaml: typed, compositional, and faster than yaccmattjbray/ocaml-decoders
Elm-inspired decoders for Ocamlbobatkey/sott
Simplified Observational Type Theoryjohnwhitington/ppx_blob
OCaml ppx to include binary data from a file as a stringavsm/ocaml-yaml
OCaml interface to the YAML 1.1 specInsidersByte/bs-material-ui
Reason bindings for material-uipatricoferris/sesame
A site generator in OCaml π« (OCurrent pipelines too)GillianPlatform/Gillian
The Gillian Platform main repositoryavsm/ocaml-lens
Private extraction of astrada's lens libraryyallop/fomega
System FΟ interpreter for use in Advanced Functional Programming coursejohnwhitington/more-ocaml-exercises
Examples and Exercises for the book "More OCaml"yallop/ocaml-integers
Various signed and unsigned integer types for OCamldsheets/ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaClsammi-turner/OCaml-Examples
This repo is designed to get you started with OCaml.avsm/melange
Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)lemaetech/reparse
Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.Dean177/reason-standard
An easy-to-use, comprehensive, and safe standard library enhancement for Reason and OCaml.whitequark/ocaml-m17n
Multilingualization for the OCaml source coderizo/onix
Build OCaml projects with Nix.johnelse/ocaml-irc-client
OCaml IRC client libraryrricard/bs-graphql-bindings
BuckleScript binding for graphql-jsMassD/mongo
An ocaml driver for mongodbimandra-ai/fix-engine
Imandra FIX EngineSquidDev/illuaminate
Very WIP static analysis for Luaowainlewis/ocaml-datastructures-algorithms
Data structures and algorithms in OCamlcraigfe/oskel
π Skeleton generator for OCaml projects.yallop/ocaml-re-nfa
OCaml code to construct an NFA from a regular expressionpatricoferris/omditor
Irmin-based Markdown Editoratongen/setml
Online, realtime, multiplayer game of Set, from Set Enterprises, Inc., built entirely with ocaml (and reasonml).rizo/helix
Build reactive web interfaces in OCaml.bobatkey/modulog
A Datalog implementation with an OCaml inspired module systemjobjo/popper
Property-based testing at easeMassD/99
Famous 99 problems in OCamlujamjar/hardcaml-zinc
HardCaml implementation of the OCaml ZINC Abstract MachineTimothy-G-Griffin/cc_cl_cam_ac_uk
OCaml code for Compiler Construction course at University of Cambridgelindig/hello
A minimal OCaml projectxapi-project/xen-api-libs
XCP xen-api libslemaetech/wtr
HTTP request routing library for OCaml web applications.johnyob/dromedary
Dromedary is an experimental subset of OCaml, using constraint-based type inference!yallop/ocaml-ctypes-inverted-stubs-example
Example showing how to turn OCaml code (here Xmlm) into a C library.andrewray/DefinitelyMaybeTyped
TypeScript to js_of_ocamltomjridge/tjr_btree
B-tree (Bayer, not binary) library in OCamlsnowleopard/selective-ocaml
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamicallyavsm/ocaml-print-intf
Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature formsuperbobry/pareto
GSL powered OCaml statistics librarycraigfe/compact
Memory-efficient data structures in OCamlimandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.bobatkey/ocamlmvc
An MVC library for writing interactive webpages in OCamlowlbarn/owl_ode
Owl's Differential Equation Solversjohnwhitington/ocaml-from-very-beginning-exercises
Examples and exercises for the OCaml Book "OCaml from the Very Beginning"yallop/ocaml-flap
A deterministic parser with fused lexingwhitequark/ocaml-inotify
OCaml bindings for inotify.dsheets/codoc
OCaml documentation generatorwhitequark/ocaml-llvm-ng
A practical LLVM backend for OCaml (will never be finished)lindig/lipsum
A Literate Programming Tool inspired by NoWeb, implemented in OCamlbikallem/spring
Spring - A Delightful OCaml web programming library (unreleased)imandra-ai/ocaml-opentelemetry
Instrumentation for https://opentelemetry.ioavsm/hello-world-action-ocaml
Example use of GitHub Actions with OCamlimandra-ai/contracts
Imandra Contracts - Formal verification of smart contractscraigfe/ppx_effects
patricoferris/ppx_deriving_yaml
OCaml types to Yaml types and back againstevenvar/OCaLustre
OCaml syntax extension for synchronous programming...yallop/ocaml-pb
An OCaml library for describing Protobuf messagesashinkarov/heh
A programming language with infinite arraysowlbarn/actor
Owl's Parallel & Distributed Computing Enginekit-ty-kate/ocaml-monomorphic
A small library used to shadow polymorphic operators (and functions) contained in the stdlib.ocamllabs/ocaml-macros
OCaml with macrosdjs55/ocaml-c3
OCaml bindings for the Javascript c3 charting librarynationalarchives/miiify
A web annotation server built with the same principles as GitMassD/pearls
ocamllabs/ocaml-effects
*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlersjohnwickerson/memalloy
Memory consistency modelling using Alloyyallop/staged-generic-programming
Code for "Staged Generic Programming" (ICFP 2017)whitequark/js_of_ocaml-example
A tiny sample js_of_ocaml projectLove Open Source and this site? Check out how you can help us