Pinned Repositories
bisect_ppx
Code coverage for OCaml.
cairo-opa
Opa Cairo Binding
capture-output
chip8js
Js implementation of Chip8. (Compile with Js_of_ocaml)
deriving-yojson
Parse/convert ocaml value from/to yojson ast
dune-release
Streamlining the release of dune packages to opam
jsooedit
merge-fmt
Git mergetool leveraging code formatters.
odate
date and duration in ocaml
OpaWhiteBoard
Collaborative white board
hhugo's Repositories
hhugo/merge-fmt
Git mergetool leveraging code formatters.
hhugo/odate
date and duration in ocaml
hhugo/ocamlbuild
The legacy OCamlbuild build manager
hhugo/grain
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
hhugo/opam-repository
Package descriptions for OPAM
hhugo/acutis
A declarative, type-safe template language
hhugo/alcotest
A lightweight and colourful test framework
hhugo/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
hhugo/base
Standard library for OCaml
hhugo/dune
A composable build system for OCaml
hhugo/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
hhugo/gen_js_api
Easy OCaml bindings for Javascript libraries
hhugo/General
Rich functionality for built-in and basic OCaml types
hhugo/hevea
Hevea is a fast latex to html translator
hhugo/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
hhugo/lem
Lem semantic definition language
hhugo/ocaml
Read-only mirror of INRIA SVN
hhugo/ocaml-yaml
OCaml interface to the YAML 1.1 spec
hhugo/opam-repository-mingw
windows package repository for OPAM (mingw and msvc)
hhugo/picos
Interoperable effects based concurrency
hhugo/ppx_expect
Cram like framework for OCaml
hhugo/ppx_inline_test
Syntax extension for writing in-line tests in ocaml code
hhugo/ppxlib
Base library and tools for ppx rewriters
hhugo/ppxlib_jane
Utilities for working with Jane Street AST constructs
hhugo/react
Declarative events and signals for OCaml
hhugo/sedlex
An OCaml lexer generator for Unicode
hhugo/setup-ocaml
GitHub Action for the OCaml programming language
hhugo/virtual-dom
A Virtual DOM and diffing algorithm
hhugo/wasm-spec
WebAssembly specification, reference interpreter, and test suite.
hhugo/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.