Anmol's repositories
irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml-scylla
Scylla/Cassandra driver written in OCaml
Launch.nvim
Neovim config - Modifed from LunarVim/Launch.nvim
cvxpy
A Python-embedded modeling language for convex optimization problems.
flambda-backend
The Flambda backend project for OCaml
paxi
Paxos protocol framework
fx
A fun exercise implementing effect handlers
verilator
Verilator open-source SystemVerilog simulator and lint system
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
lib-libtvm_runtime
TVM Runtime for Unikraft
pyvcd
Python package for writing Value Change Dump (VCD) files.
ocaml-protoc
A Protobuf Compiler for OCaml
reach-loop-verification
Tutorial on verifying loops in Reach
reach-lang
Reach: The Safest and Easiest DApp Programming Language
lms-mobile-app
Simple LMS Frontend backed by Moodle LMS
sandmark
Benchmarking the OCaml compiler and all its friends
memalloy
Memory consistency modelling using Alloy
bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
marp-cli-example
The good starter for using Marp via Marp CLI, by the author of Marp
dune
A composable build system for OCaml.