let-def/ml-test

Stars
1
Language Coq
Created over 11 years ago
Updated over 11 years ago

let-def/ml-test

let-def

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Exploring custom extensions to lambda calculus

hotcaml

Hotcaml: an interpreter with watching and reloading

lwd

Lightweight document

insydious

Unlock 10 digits BIOS passwords

wall

(mirror) A vector graphics renderer like NanoVG in OCaml

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

cuite

(mirror) OCaml bindings to Qt toolkit.

goo

Cross-runtime object interface generation

owee

OCaml library to work with DWARF format

ocamp

Reactive programming… in the shell

ocp-indent-vim

Integration of ocp-indent to vim.

merlin-extend

SDK to extend Merlin

cmon

A library for printing OCaml values with sharing

inuit

Make interactive text-oriented user-interfaces for OCaml

sturgeon

A toolkit for communicating with Emacs from OCaml

texpresso

TeXpresso: live rendering and error reporting for LaTeX

lrgrep

Menhir polishing toolbox, for experienced druids

camlroot

A safer C FFI for OCaml

distwit

Distribute/marshal instances of ocaml extensible variant types and exceptions

stb_truetype

OCaml bindings to stb_truetype, a public domain truetype font rasterizer

assimp

Bindings to Assimp, a 3D assets (mesh, material, scenes) importer

autoprinter

proof-of-concept to auto-install printer functions in the OCaml toplevel

distheap

Heterogeneous heap

ibutsu

Ztl

Z3 Type Layer: a strongly-typed interface to Z3

stb_image

OCaml bindings to stb_image, a public domain image loader

pdfmagick

A small tool to split/cut/merge pdf files

melodious

Ocsigen powered media player

ocaml-introspect

Generic value printer for OCaml (to be used with tagl branch)

ttx

Typedtree related tools

vimbufsync

Collection of heuristics to help quickly detect modifications in vim buffers

ocaml-recovery-parser

A simple fork of OCaml parser with support for error recovery

ppx_xmatch

Mess with the semantics of pattern matching :-)

stb_image_write

OCaml bindings to stb_image_write, a public domain image writer

strongenv

menhir

Unofficial repository. Experimentations around menhir parser generator

balanced-trees

Simple implementation of logarithmic balanced trees

ocamllex-refill

Experiments around ocamllex

colorfilter

A gnome extension to desaturate and filter colors

ocamlilex

A version of OCamllex that lets you access the last observed character in the buffer (useful for incrementalizing a lexer)

recel

Pixelart upscaling toolkit

timetrail

A small tool to track how your virtual time is spent

mulet