#
whitequark
Follow
- All languages
- ABAP
- Assembly
- C
- C#
- C++
- Common Lisp
- Coq
- Cython
- Dhall
- Dockerfile
- Emacs Lisp
- Forth
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Makefile
- Meson
- Nix
- OCaml
- PHP
- PowerShell
- Python
- R
- Racket
- Raku
- Reason
- RenderScript
- Ruby
- Rust
- SCSS
- Scala
- Shell
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- WebAssembly
- xBase
Starred repositories
9
stars
written in OCaml
Clear filter
Implementations of various type systems in OCaml.
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
A collection of tools to manage the configuration of OCaml projects
[dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html
Syntax extension to generate random instances of types