Topic

ocaml

Repositories (1356)

enforce-browser-fonts
enforce-browser-fonts bhootd OCaml

A Firefox extension to easily toggle between browser fonts and webpage fonts

33
ocaml-pandoc
ocaml-pandoc smimram OCaml

An OCaml library for creating pandoc filters.

33
from-typescript-to-rescript
from-typescript-to-rescript greyblake TypeScript

Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript

33
petrol
petrol Gopiandcode OCaml

Petrol's an OCaml SQL API made to go FAST.

33
toy-macro-ml
toy-macro-ml gfngfn OCaml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

33
cachecache
cachecache pascutto OCaml

Efficient caching library for OCaml

33
h2
h2 anuragsoni OCaml

HTTP/2 types and framing for ocaml

33
ocaml-decimal
ocaml-decimal yawaramin OCaml

Arbitrary-precision floating-point decimals

33
chapar
chapar rocq-community Coq

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

32
oraft
oraft komamitsu OCaml

Library of Raft consensus algorithm implemented in OCaml

32
fpv-tutorial-SS23
fpv-tutorial-SS23 ManuelLerchner OCaml

Materialien für das FPV-Tutorium im Sommersemester 2023

32
ocaml-tracy
ocaml-tracy ocaml-tracing OCaml

Bindings to the Tracy profiler.

32
emile
emile mirage OCaml

& images

32
ocamlsyntax.com
ocamlsyntax.com ianthehenry CSS

How do you do that recursive GADT thing again?

31
ocaml-css-parser
ocaml-css-parser astrada OCaml

A CSS parser written in OCaml

31
obi
obi ocaml-attic OCaml

OCaml Build Infrastructure

31
ezcurl
ezcurl c-cube OCaml

A simple wrapper around OCurl.

31
OCamURL-server
OCamURL-server donut OCaml

A URL shortener server with a GraphQL API written in OCaml.

31
system_f_omega
system_f_omega tominated OCaml

My Attempt at System Fω with Row-Polymorphism

31
oseq
oseq c-cube OCaml

Purely functional iterators compatible with standard `seq`.

31
prometo
prometo yawaramin Reason

A type-safe JavaScript promise library for ReasonML

31
ppx_minidebug
ppx_minidebug lukstafi OCaml

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or...

31
strid
strid smimram OCaml

A string diagram generator for LaTeX.

31
obts_exn
obts_exn fabbing TeX

OCaml behind the scenes: exceptions

31
futhark-bindgen
futhark-bindgen zshipko Rust

A Futhark binding generator for Rust and OCaml

31
rebez
rebez jchavarri OCaml

Cubic bezier implementation in Reason / OCaml.

31
cdetect
cdetect xyproto Go

:microscope: Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with

31
pl-checker
pl-checker Jhuni0123 OCaml

2017F Programming Language Homework Checker

31
bs-dynamic-import
bs-dynamic-import arialpew JavaScript

📦🚀 BuckleScript dynamic import interop on JavaScript environment

31
ocaml_python_bindgen
ocaml_python_bindgen mooreryan OCaml

Generate Python bindings via pyml from OCaml value specifications

31
changeset
changeset phink OCaml

(unreleased) Data validation with first-class and first-order labels in OCaml

30
epidisco
epidisco hammerlab OCaml

Personalized cancer epitope discovery and peptide vaccine prediction pipeline

30
mwt
mwt hcarty OCaml

Medium weight threads - preemptive thread pools for Lwt

30
calculon
calculon c-cube OCaml

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

30
asak
asak nobrakal OCaml

Identifying similar OCaml codes

30
profuse
profuse effuse OCaml

An OCaml implementation of the FUSE protocol versions 7.8 and 7.23

30
lwt-pipe
lwt-pipe c-cube OCaml

[beta] A multi-consumer, multi-producers blocking queue and stream for Lwt

30
promise_jsoo
promise_jsoo mlantas OCaml

Js_of_ocaml bindings to JS Promises with supplemental functions

30
episql
episql paurkedal OCaml

SQL schema parser and code generator

30
camlgrad
camlgrad jewelltaylor OCaml

Toy autograd engine in OCaml with Apple Accelerate backend

30
ocamleditor
ocamleditor ocamleditor OCaml

OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly...

30
aifad
aifad mmottl OCaml

AIFAD - Automated Induction of Functions over Algebraic Data Types

30
rekernel
rekernel smorimoto Makefile

A minimal setup for writing Unikernels in ReasonML

30
ocaml-pb
ocaml-pb yallop OCaml

An OCaml library for describing Protobuf messages

30
ogaml
ogaml ogaml OCaml

Ocaml multimedia library

30
chalk
chalk nickzuber OCaml

:crayon::art:Composable and simple terminal highlighting package for OCaml.

30
ISO8601.ml
ISO8601.ml ocaml-community OCaml

Parser and printer for date-times in ISO8601

29
merlin-language-server
merlin-language-server bryphe OCaml

Minimal cross-platform LSP wrapper for merlin

29
tea-chess
tea-chess quernd OCaml

A chess-themed tutorial on writing an SPA in Bucklescript-TEA

29
schmu
schmu tjammer OCaml

Mirror of https://codeberg.org/tjammer/schmu

29