Pinned Repositories
aligned_int
angstrom
Parser combinators built for speed and memory efficiency
anmolsaho25
anmolsahoo25
anmolsahoo25.github.io
bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-scylla
Scylla/Cassandra driver written in OCaml
riscv-tools-docker
Dockerfile for creating a RISC-V Docker image
shakti-e-class
anmolsahoo25's Repositories
anmolsahoo25/ocaml-scylla
Scylla/Cassandra driver written in OCaml
anmolsahoo25/bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
anmolsahoo25/ocaml
The core OCaml system: compilers, runtime system, base libraries
anmolsahoo25/aligned_int
anmolsahoo25/angstrom
Parser combinators built for speed and memory efficiency
anmolsahoo25/anmolsaho25
anmolsahoo25/anmolsahoo25
anmolsahoo25/anmolsahoo25.github.io
anmolsahoo25/cs536-project
anmolsahoo25/cv
anmolsahoo25/cvxpy
A Python-embedded modeling language for convex optimization problems.
anmolsahoo25/dune
A composable build system for OCaml.
anmolsahoo25/flambda-backend
The Flambda backend project for OCaml
anmolsahoo25/fx
A fun exercise implementing effect handlers
anmolsahoo25/irmin
Irmin is a distributed database that follows the same design principles as Git
anmolsahoo25/Launch.nvim
Neovim config - Modifed from LunarVim/Launch.nvim
anmolsahoo25/lib-libtvm_runtime
TVM Runtime for Unikraft
anmolsahoo25/lms-mobile-app
Simple LMS Frontend backed by Moodle LMS
anmolsahoo25/marp-cli-example
The good starter for using Marp via Marp CLI, by the author of Marp
anmolsahoo25/memalloy
Memory consistency modelling using Alloy
anmolsahoo25/ocaml-mrdt-v2
anmolsahoo25/ocaml-protoc
A Protobuf Compiler for OCaml
anmolsahoo25/paxi
Paxos protocol framework
anmolsahoo25/python-bigquery
anmolsahoo25/pyvcd
Python package for writing Value Change Dump (VCD) files.
anmolsahoo25/reach-lang
Reach: The Safest and Easiest DApp Programming Language
anmolsahoo25/reach-loop-verification
Tutorial on verifying loops in Reach
anmolsahoo25/sandmark
Benchmarking the OCaml compiler and all its friends
anmolsahoo25/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
anmolsahoo25/verilator
Verilator open-source SystemVerilog simulator and lint system