Alan Matthew's repositories
atd
Static types for JSON APIs
Language:OCamlNOASSERTION000
catala
Programming language for literate programming law specification
Language:OCamlApache-2.0000
ClickHouse
ClickHouse® is a free analytics DBMS for big data
Language:C++Apache-2.0000
Language:OCamlMIT000
Language:Lua000
Language:Python000
Language:Python000
Language:Python000
Language:OCaml000
Language:TeX000
MIT000
Language:TypeScriptMIT000
Language:Rust000
Language:Jupyter Notebook000
styled-ppx
Type-safe styled components for ReScript and Melange with type-safe CSS
BSD-2-Clause000