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 NaClavsm/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.sammi-turner/OCaml-Examples
This repo is designed to get you started with 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 codejohnelse/ocaml-irc-client
OCaml IRC client libraryrricard/bs-graphql-bindings
BuckleScript binding for graphql-jsrizo/onix
Build OCaml projects with Nix.MassD/mongo
An ocaml driver for mongodbimandra-ai/fix-engine
Imandra FIX EngineSquidDev/illuaminate
Very WIP static analysis for Luacraigfe/oskel
💀 Skeleton generator for OCaml projects.owainlewis/ocaml-datastructures-algorithms
Data structures and algorithms in OCamlyallop/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).jobjo/popper
Property-based testing at easebobatkey/modulog
A Datalog implementation with an OCaml inspired module systemrizo/helix
Build reactive web interfaces in OCaml.MassD/99
Famous 99 problems in OCamlTimothy-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 libsujamjar/hardcaml-zinc
HardCaml implementation of the OCaml ZINC Abstract Machineyallop/ocaml-ctypes-inverted-stubs-example
Example showing how to turn OCaml code (here Xmlm) into a C library.lemaetech/wtr
HTTP request routing library for OCaml web applications.johnyob/dromedary
Dromedary is an experimental subset of OCaml, using constraint-based type inference!tomjridge/tjr_btree
B-tree (Bayer, not binary) library in OCamlavsm/ocaml-print-intf
Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature formandrewray/DefinitelyMaybeTyped
TypeScript to js_of_ocamlcraigfe/compact
Memory-efficient data structures in OCamlsnowleopard/selective-ocaml
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamicallysuperbobry/pareto
GSL powered OCaml statistics libraryimandra-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 Solversdsheets/codoc
OCaml documentation generatoryallop/ocaml-flap
A deterministic parser with fused lexingjohnwhitington/ocaml-from-very-beginning-exercises
Examples and exercises for the OCaml Book "OCaml from the Very Beginning"whitequark/ocaml-inotify
OCaml bindings for inotify.whitequark/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.ioimandra-ai/contracts
Imandra Contracts - Formal verification of smart contractsavsm/hello-world-action-ocaml
Example use of GitHub Actions with OCamlcraigfe/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 messagesowlbarn/actor
Owl's Parallel & Distributed Computing Engineashinkarov/heh
A programming language with infinite arraysdjs55/ocaml-c3
OCaml bindings for the Javascript c3 charting libraryocamllabs/ocaml-macros
OCaml with macroskit-ty-kate/ocaml-monomorphic
A small library used to shadow polymorphic operators (and functions) contained in the stdlib.nationalarchives/miiify
A web annotation server built with the same principles as GitMassD/pearls
johnwickerson/memalloy
Memory consistency modelling using Alloyocamllabs/ocaml-effects
*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlersyallop/staged-generic-programming
Code for "Staged Generic Programming" (ICFP 2017)bobatkey/unboxed
Unboxed arrays for OCamlLove Open Source and this site? Check out how you can help us