anmolsahoo25

ocaml-scylla

Scylla/Cassandra driver written in OCaml

bigstringaf

Bigstring intrinsics and fast blits based on memcpy/memmove

ocaml

The core OCaml system: compilers, runtime system, base libraries

reach-lending-pool

aligned_int

anmolsaho25

anmolsahoo25

anmolsahoo25.github.io

cs536-project

cv

cvxpy

A Python-embedded modeling language for convex optimization problems.

dune

A composable build system for OCaml.

flambda-backend

The Flambda backend project for OCaml

fx

A fun exercise implementing effect handlers

irmin

Irmin is a distributed database that follows the same design principles as Git

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

memalloy

Memory consistency modelling using Alloy

ocaml-mrdt-v2

ocaml-protoc

A Protobuf Compiler for OCaml

paxi

Paxos protocol framework

python-bigquery

pyvcd

Python package for writing Value Change Dump (VCD) files.

reach-lang

Reach: The Safest and Easiest DApp Programming Language

reach-loop-verification

Tutorial on verifying loops in Reach

sandmark

Benchmarking the OCaml compiler and all its friends

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

verilator

Verilator open-source SystemVerilog simulator and lint system