dkm's repositories

notty

Declarative terminal graphics for OCaml

Language:OCamlLicense:ISCStargazers:346Issues:17Issues:36

psq

Functional Priority Search Queues for OCaml

Language:OCamlLicense:ISCStargazers:53Issues:6Issues:1

lru

Scalable LRU caches for OCaml

Language:OCamlLicense:ISCStargazers:42Issues:7Issues:5

tpf

Trivial/Tagless Polytypic Functions

Language:OCamlStargazers:23Issues:7Issues:0

unmark

Painless micro-benchmarks

Language:OCamlLicense:ISCStargazers:20Issues:6Issues:0

ocaml-papi

Performance Application Programming Interface for OCaml

Language:OCamlLicense:ISCStargazers:16Issues:4Issues:1

sendmsg

POSIX sendmsg bindings for OCaml

Language:OCamlLicense:ISCStargazers:15Issues:7Issues:2

ocb-stubblr

Ocamlbuild helpers for C stubs

Language:OCamlLicense:ISCStargazers:11Issues:3Issues:9

cpuid

Detect CPU features

Language:OCamlLicense:ISCStargazers:10Issues:5Issues:4

effective

Effect monad for OCaml

Language:OCamlStargazers:8Issues:8Issues:0

shelleportr

A cd command that learns... fast.

Language:OCamlStargazers:4Issues:3Issues:0

colorless-green-ideas

No description, website, or topics provided.

Language:CoqStargazers:3Issues:4Issues:0
Language:OCamlStargazers:3Issues:4Issues:0
Language:OCamlLicense:ISCStargazers:3Issues:5Issues:0

dead-simple-promises-js

simple and performant js promise implementation

Language:LiveScriptStargazers:2Issues:2Issues:0

alcotest

A lightweight and colourful test framework

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

coquille

Interactive theorem proving with Coq in vim.

Language:Vim scriptLicense:ISCStargazers:0Issues:2Issues:0

crowbar

Property fuzzing for OCaml

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

hccv

Haskell bindings to libccv

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

mirage

Cloud programming platform

Language:OCamlStargazers:0Issues:2Issues:0

mirage-dev

Development OPAM repository for work-in-progress packages

Language:ShellStargazers:0Issues:2Issues:0

mirage-entropy

Entropy driver for MirageOS

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

mirage-nat

library for network address translation intended for use with mirage unikernels

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

ocaml-cstruct

Map OCaml arrays onto C-like structs

Language:OCamlStargazers:0Issues:2Issues:0

ocaml-ctypes

Library for binding to C libraries using pure OCaml

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

ocamlbuild

OCamlbuild

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

opam-repository

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

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

texpresso.vim

Neovim mode for TeXpresso

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

topkg

The transitory OCaml software packager

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

tsdl

Thin bindings to SDL for OCaml

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0