Kevin Smith's repositories
atd
Static types for JSON APIs
domainslib
Parallel Programming over Domains
doomemacs
An Emacs framework for the stubborn martian hacker
dune
A composable build system for OCaml.
dune-release
Streamlining the release of dune packages to opam
fxhash-simple-boilerplate
The most? simple boilerplate to implement a fxhash-compliant token
fxhash-webpack-boilerplate
A boiletplate with webpack to develop generative Tokens on fxhash
hicetnunc
hicetnunc UI/UX
index
A platform-agnostic multi-level index
irmin
Irmin is a distributed database that follows the same design principles as Git
irmin.org
Irmin website
maelstrom
A workbench for writing toy implementations of distributed systems.
mio
Metal I/O library for Rust.
objkt-swap
Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-git
Pure OCaml Git format and protocol
ocaml-scratch
a place to put random ocaml code
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
packages
Javascript libraries packaged up with Google Closure externs
ppxlib
Base library and tools for ppx rewriters
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
quickwit
Sub-second search & analytics engine on cloud storage
quil
Main repo. Quil source code.
tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
utop
Universal toplevel for OCaml
yojson
Low-level JSON parsing and pretty-printing library for OCaml