Petter A. Urkedal

slipshow. An engine for displaying slips, the next-gen version of slides

lwd. Lightweight document

vim-graphql. A Vim plugin that provides GraphQL file detection, syntax highlighting, and indentation.

ocaml-re. Pure OCaml regular expressions, with support for Perl and POSIX-style strings

ocaml-jose. OCaml

clarke. OCaml

tuplet. Arity-generic API for tuple representations

bechamel. Agnostic benchmark in OCaml (proof-of-concept)

ppx_effects. OCaml

mhash. hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

dream. Tidy, feature-complete Web framework

ganeti-os-nocloud. Shell

catala. Programming language for literate programming law specification

ppx_rapper. Syntax extension for writing SQL in OCaml

luv. Cross-platform asynchronous I/O and system calls

ctypes_of_clang. Convert C-code to OCaml Ctypes via Clang

ocaml-cbor. OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/

andromeda. A proof assistant for general type theories

ocaml-h2. An HTTP/2 implementation written in pure OCaml

ppx_regexp. Matching Regular Expressions with OCaml Patterns

ocaml-caqti. Cooperative-threaded access to relational data

opam. opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

ppx_protocol_conv. Pluggable serialization and deserialization of ocaml data strucures based on type_conv

unison. Unison file synchronizer

mdx. Execute code blocks inside your documentation

ppx_stage. Staged metaprogramming in stock OCaml

ocaml-noise. :camel::loudspeaker: The Noise Protocol Framework, with types

ganeti. Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.

ganeti. Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.

qubes-mirage-firewall. A Mirage firewall VM for QubesOS

h2. HTTP/2 types and framing for ocaml

note. Declarative events and signals for OCaml

gmap. heterogenous Map over a GADT

depyt. Yet another type combinator library

omd-tyxml. Translates OCaml Markdown from OCaml/OMD to ocsigen/TyXML for integration with ocsigen projects.

ocaml-bindlib. Efficient binder representation in OCaml

ocaml-documentation-guideline. Community-driven guide to write good documentation for OCaml libraries.

owl. Owl - OCaml Scientific Computing @ https://ocaml.xyz

slacko. A neat interface for Slack

patoline. Patoline typesetting system

ppxlib. Base library and tools for ppx rewriters

jingoo. OCaml template engine almost compatible with jinja2

nocode. The best way to write secure and reliable applications. Write nothing; deploy nowhere.

pgx. A pure OCaml PostgreSQL client library

udns. [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library

ocaml-typed-effects. OCaml with typed algebraic effects

ppx_tools_versioned. Tools for authors of ppx rewriters

ocaml-migrate-parsetree. DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions

odoc. Documentation compiler for OCaml

lwt. OCaml promises and concurrent I/O

dune. A composable build system for OCaml.

opam-repository. Main public package repository for opam, the source package manager of OCaml.

sequoia. OCaml type-safe query builder with syntax tree extension

awesome-ocaml. A curated collection of awesome OCaml tools, frameworks, libraries and articles.

angstrom. Parser combinators built for speed and memory efficiency

tezos. Mirror of the release branches for Tezos, a self-amending cryptographic ledger

Cosette. Cosette is an automated SQL solver.

pkcs11. OCaml bindings for the PKCS#11 cryptographic API

wiki.

Obelisk. A simple multi-format pretty-printer for Menhir.

keyfender. Secure HSM implementation based on MirageOS

google-drive-ocamlfuse. FUSE filesystem over Google Drive

harmatia. "Prettify" ocaml compiler error messages

nsq-ocaml. OCaml client library for the NSQ messaging platform

ocaml-odbc. Bindings to various ODBC libraries

qcheck. QuickCheck inspired property-based testing for OCaml.

tyre. Typed Regular Expressions

ocaml-graphql-server. GraphQL servers in OCaml

json5. JSON5 — JSON for Humans

touist. TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

peco. Simplistic interactive filtering tool

cubicaltt. Experimental implementation of Cubical Type Theory

me_cleaner. Tool for partial deblobbing of Intel ME/TXE firmware images

vim-ocaml. Vim runtime files for OCaml

pumping. Regular languages in types

trel. Relational programming for OCaml (unreleased)

awesome-coq. A curated list of awesome Coq frameworks, libraries and software.

nq. Unix command line queue utility

markup.ml. Error-recovering streaming HTML5 and XML parsers

awa-ssh. Purely functional SSH library in ocaml.

ocaml-letsencrypt. OCaml

ppx_deriving_cmdliner. Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)

Syndic. RSS and Atom feed parsing

futhark. :boom::computer::boom: A data-parallel functional programming language

tensorflow-ocaml. OCaml bindings for TensorFlow

ocaml-mariadb. OCaml bindings to MariaDB, supporting the nonblocking API

mirage. MirageOS is a library operating system that constructs unikernels

landmarks. A Simple Profiling Library for OCaml

iocaml. An OCaml kernel for the IPython notebook

bap. Binary Analysis Platform

ocaml-x509. X509 (RFC5280) handling in OCaml

ocaml. The core OCaml system: compilers, runtime system, base libraries

solo5. A sandboxed execution environment for unikernels

Canopy. A git-blogging unikernel written using MirageOS

topkg. The transitory OCaml software packager

ocsigen-toolkit. User interface widgets for OCaml applications

subhask. Type safe interface for working in subcategories of Hask

hmap. Heterogeneous value maps for OCaml

gen_js_api. Easy OCaml bindings for Javascript libraries

eliom. Multi-tier framework for programming web and mobile applications in OCaml.

dead_code_analyzer. Dead-code analyzer for OCaml

bisect_ppx. Code coverage for OCaml and ReScript

awesome-slack. A curated list of awesome Slack related things

rpi-boot-ocaml. Raspberry Pi boot support for the OCaml system (unreleased)

datalog. An in-memory datalog implementation for OCaml.

logtk. [migrated to https://github.com/c-cube/zipperposition] Logic toolkit, designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.

random-generator. A small OCaml library to randomly generate values

ocaml-containers. A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

old-website-DEPRECATED. This is not the NeIC website anymore. Go to https://github.com/neicnordic/neic.no

ocaml-modular-implicits. OCaml extended with modular implicits

xmpp. OCaml based XMPP implementation

ppx_deriving. Type-driven code generation for OCaml

ppx_import. Less redundancy in type declarations and signatures

ocaml-imap. Lwt-compatible IMAP4rev1 client library for OCaml

ocaml-elasticsearch. Elasticsearch client for OCaml

irmin. Irmin is a distributed database that follows the same design principles as Git

type-systems. Implementations of various type systems in OCaml.

ocaml-tls. TLS in pure OCaml

postgresql-ocaml. OCaml-bindings for the PostgreSQL database

react. Declarative events and signals for OCaml

vim.js. JavaScript port of Vim

document-viewer. Document Viewer is a highly customizable document viewer for Android.

ocaml-cohttp. An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-ctypes. Library for binding to C libraries using pure OCaml

xmpp. OCaml based XMPP implementation

extprot. extprot: extensible binary protocols for cross-language communication and long-term serialization

piqi. Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion

ocaml-bitpath. Efficient bit-string type along with containers to partition data on variable-length bit-strings.

libatomic_ops. The atomic_ops project development repo

bdwgc. The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc) development repo

bdwgc. The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

libatomic_ops. The atomic_ops project (Atomic memory update operations portable implementation)

Coq-HoTT. A Coq library for Homotopy Type Theory

viz. The Viz Language

rocq. The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Foundations. Voevodsky's original development of the univalent foundations of mathematics in Coq

LinearML. Functional language for parallel programming

culibs. Garbage Collected C Libraries

mosml. Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.