Anmol's starred repositories
algorithms
Minimal examples of data structures and algorithms in Python
packer.nvim
A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config
pg_graphql
GraphQL support for PostgreSQL
SQL-exercise
Practice with "Real" SQL Problems
acrn-hypervisor
Project ACRN hypervisor
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
ocaml-modular-implicits
OCaml extended with modular implicits
caml-oxide
safe FFI between OCaml and Rust (experimental)
riscv-coremark
Setup scripts and files needed to compile CoreMark on RISC-V
binaryen.ml
OCaml bindings for Binaryen.
get-started-aws-cfn
Get started using MongoDB Atlas with AWS CloudFormation today!
AlgorandQVoteApp
A QVote hack on top of algorand