🇬🇧 Made in United Kingdom

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.xyz

artagnon/rhine-ml

🏞 an OCaml compiler for an untyped lisp

xapi-project/xen-api

The Xapi Project's XenAPI Server

yallop/ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocamllabs/vscode-ocaml-platform

Visual Studio Code extension for OCaml

kitten/sweetsour

A CSS-in-JS parser and pipeline adhering to the ISTF spec 🍭

johnwhitington/cpdf-source

PDF Command Line Tools Source

johnwhitington/camlpdf

OCaml library for reading, writing and modifying PDF files

yallop/higher

Higher-kinded programming in OCaml

xclerc/ocamljava

craigfe/progress

Progress bar library for OCaml

stevenvar/OMicroB

An OCaml generic virtual machine for microcontrollers

lpalmes/pure

React in pure Reason that targets native platforms.

johnelse/spotify-cli

CLI program for controlling the spotify desktop client

lindig/lua-ml

An embeddable Lua 2.5 interpreter implemented in OCaml

ujamjar/hardcaml

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

sam-jay/shoo-lang

Shoo is a statically typed programming language with first-class functions, structs, and arrays.

imandra-ai/verified-react

Automated reasoning for React/ReasonML

heidihoward/ocaml-raft

Implementation of Raft consensus algorithm

ocamllabs/ocaml-modular-implicits

OCaml extended with modular implicits

kit-ty-kate/labrys

A toy language based on LLVM that implements the System Fω type-system

chshersh/zbg

✨ Zero bullshit git

stephenrkell/libcrunch

A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.

johnwhitington/ocamli

OCaml interpreter

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 yacc

mattjbray/ocaml-decoders

Elm-inspired decoders for Ocaml

jonsterling/dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

bobatkey/sott

Simplified Observational Type Theory

johnwhitington/ppx_blob

OCaml ppx to include binary data from a file as a string

GillianPlatform/Gillian

The Gillian Platform main repository

avsm/ocaml-yaml

OCaml interface to the YAML 1.1 spec

InsidersByte/bs-material-ui

Reason bindings for material-ui

patricoferris/sesame

A site generator in OCaml 🐫 (OCurrent pipelines too)

yallop/fomega

System Fω interpreter for use in Advanced Functional Programming course

avsm/ocaml-lens

Private extraction of astrada's lens library

johnwhitington/more-ocaml-exercises

Examples and Exercises for the book "More OCaml"

yallop/ocaml-integers

Various signed and unsigned integer types for OCaml

sammi-turner/OCaml-Examples

This repo is designed to get you started with OCaml.

dsheets/ocaml-sodium

Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

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 code

imandra-ai/fix-engine

Imandra FIX Engine

johnelse/ocaml-irc-client

OCaml IRC client library

MassD/mongo

An ocaml driver for mongodb

rricard/bs-graphql-bindings

BuckleScript binding for graphql-js

SquidDev/illuaminate

Very WIP static analysis for Lua

craigfe/oskel

💀 Skeleton generator for OCaml projects.

owainlewis/ocaml-datastructures-algorithms

Data structures and algorithms in OCaml

yallop/ocaml-re-nfa

OCaml code to construct an NFA from a regular expression

patricoferris/omditor

Irmin-based Markdown Editor

atongen/setml

Online, realtime, multiplayer game of Set, from Set Enterprises, Inc., built entirely with ocaml (and reasonml).

MassD/99

Famous 99 problems in OCaml

ujamjar/hardcaml-zinc

HardCaml implementation of the OCaml ZINC Abstract Machine

jobjo/popper

Property-based testing at ease

bobatkey/modulog

A Datalog implementation with an OCaml inspired module system

lindig/hello

A minimal OCaml project

Timothy-G-Griffin/cc_cl_cam_ac_uk

OCaml code for Compiler Construction course at University of Cambridge

xapi-project/xen-api-libs

XCP xen-api libs

jonsterling/ocaml-forester

Mirror of ocaml-forester

lemaetech/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.

whitequark/ocaml-inotify

OCaml bindings for inotify.

avsm/ocaml-print-intf

Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

andrewray/DefinitelyMaybeTyped

TypeScript to js_of_ocaml

craigfe/compact

Memory-efficient data structures in OCaml

snowleopard/selective-ocaml

Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically

superbobry/pareto

GSL powered OCaml statistics library

tomjridge/tjr_btree

B-tree (Bayer, not binary) library in OCaml

imandra-ai/minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

bobatkey/ocamlmvc

An MVC library for writing interactive webpages in OCaml

nationalarchives/miiify

A web annotation server built with the same principles as Git

yallop/ocaml-flap

A deterministic parser with fused lexing

owlbarn/owl_ode

Owl's Differential Equation Solvers

lindig/lipsum

A Literate Programming Tool inspired by NoWeb, implemented in OCaml

johnwhitington/ocaml-from-very-beginning-exercises

Examples and exercises for the OCaml Book "OCaml from the Very Beginning"

bikallem/spring

Spring - A Delightful OCaml web programming library (unreleased)

dsheets/codoc

OCaml documentation generator

whitequark/ocaml-llvm-ng

A practical LLVM backend for OCaml (will never be finished)

imandra-ai/ocaml-opentelemetry

Instrumentation for https://opentelemetry.io

imandra-ai/contracts

Imandra Contracts - Formal verification of smart contracts

avsm/hello-world-action-ocaml

Example use of GitHub Actions with OCaml

craigfe/ppx_effects

patricoferris/ppx_deriving_yaml

OCaml types to Yaml types and back again

ashinkarov/heh

A programming language with infinite arrays

stevenvar/OCaLustre

OCaml syntax extension for synchronous programming...

owlbarn/actor

Owl's Parallel & Distributed Computing Engine

yallop/ocaml-pb

An OCaml library for describing Protobuf messages

kit-ty-kate/ocaml-monomorphic

A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

ocamllabs/ocaml-macros

OCaml with macros

djs55/ocaml-c3

OCaml bindings for the Javascript c3 charting library

johnwickerson/memalloy

Memory consistency modelling using Alloy

MassD/pearls

ocamllabs/ocaml-effects

*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers

whitequark/js_of_ocaml-example

A tiny sample js_of_ocaml project

bobatkey/unboxed

Unboxed arrays for OCaml