There are no reviews yet. Be the first to send feedback to the community and the maintainers!
banawa-chat
SSH chat server using trust on first use for user registrationBrainfuck
Brainfuck formalized in Coqocp-index-top
Verified
A collection of proofs for some idris class instances - NOT MAINTAINEDocaml-ssh-agent
origami-sledgehammer
It's a pastebin, okay?mirage-block-partition
Partition a Mirage block device into two block devicesmirage-cat
Cat implemented in MirageOS for solo5let-if
gptar
GPT + TAR headerppx_optint
oneffs
Single file filesystem for MirageOS - mirrorocaml-secret-sharing
Threshold Secret Sharing in OCamlocaml-digitalocean
OCaml library for the digitalocean.com v1 APIdream-normalize-route
use_mod
evil-opam-repository
An opam repository where many of the archives are not available or have the wrong checksumbf.js
A brainfuck compiler in javascript that outputs a javascript function.TIP
Tiny Imperative Programming Languageocaml-cert-pubkey-fp
uslock
slock with unicode / X input method support.ocaml-digitalocean-v2
Very incomplete implementation of DigitalOcean v2 api - https://developers.digitalocean.com/v2/python-str-repr
Python's str.__repr__() in OCamldrupal7_password_hash
Drupal 7 compatible password hashing for ElixirLove Open Source and this site? Check out how you can help us