ocaml
Repositories (1383)
Ppxlib based rewriter inspired by Python string `format()`.
DeepLang type system based on Ocaml
🖨️ Printing OCaml Runtime Representations
Computer Aided Design (CAD) in OCaml
Automated generation of OCADml transformations over user created types
Automated generation of OCADml transformations over user created types
proof of concept for https://github.com/ocaml/RFCs/pull/19
A DSL for generating iptables firewall scripts.
Certified proof checker for Fitch-style propositional logic proofs
Parents friendly jobs portal
My notes and solutions for "Purely Functional Data Structures" book by Chris Okasaki (in OCaml).
A tiny implementation of a small subset of the Prolog language, 🐫 in OCaml. With small and fun examples.
OCaml interface to the time series database InfluxDB
NQSB.IO name server
OCaml distributed data processing
Very simple ppx deriver for command line parser
Spin with Refinement
small range library for OCaml
MirageOS unikernels used for bobkonf 2019 tutorial
Ocaml implementation of some randomized computational geometry algorithms
A wrapper in Js_of_ocaml for the WebStorage API
A script that integrates the output from bsb into vscode tasks using problem matchers
Binding to the ODEPACK FORTRAN library
OCaml library to extract social information such as Twitter cards or OpenGraph data from webpages and HTML.
RFC 3492: IDNA Punycode implementation
Parser converts javascript or typescriot code to ReasonML
A tool to connect securely to a remote VM's VNC console
A todo app with ReasonReact + ReasonML + OCaml + BuckleScript + React
An implementation of http://www.cis.upenn.edu/~stevez/papers/MZZ10.pdf with examples and details from https://github.com/kpavery/System-Fo
DSL for C APIs to aid consistency of naming schemes and comments.
Syntax extension to generate random instances of types
Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.
Static analyzer for Android-like applications
Library of OMake scripts to include in your projects (DEPRECATED)
👨🏼💻👅 A Tiny ML-like language for research purposes
Simple Merkle tree implementation based on the Bitcoin white paper.
In-House CA
A compiler backend. WIP
A compiler for untyped lambda terms to TeX code
A toy JVM written in OCaml
一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix.
A compiler for sound generators and processors.
OCaml bindings for pulseaudio.
Template for reproducable and lightweight OCaml dev environment using Nix
Unicode collation library for OCaml
In memory database with first class JSON IO
Tool to add/update nftables cgroupv2 rules for systemd-managed unit cgroups (slices, services, scopes)
Prácticas de la asignatura de Paradigmas de Programación
🐫🎓 OCaml midterm project for 'Advanced Programming' course @ UniPi.
Minimal and pure OCaml tool to create SSL certificates for a host.