Anmol's repositories
ocaml-scylla
Scylla/Cassandra driver written in OCaml
bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
cvxpy
A Python-embedded modeling language for convex optimization problems.
Language:C++Apache-2.0000
flambda-backend
The Flambda backend project for OCaml
Language:OCaml000
Launch.nvim
Neovim config - Modifed from LunarVim/Launch.nvim
lib-libtvm_runtime
TVM Runtime for Unikraft
lms-mobile-app
Simple LMS Frontend backed by Moodle LMS
marp-cli-example
The good starter for using Marp via Marp CLI, by the author of Marp
ocaml-protoc
A Protobuf Compiler for OCaml
reach-lang
Reach: The Safest and Easiest DApp Programming Language
reach-loop-verification
Tutorial on verifying loops in Reach