anmolsahoo25 Goto Github PK

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

binary_dist

Random

book-notes

Notes and exercises from books that I read

c-class-meson

Shakti C-class core built using Meson

covid19-dtrack

covid19-dtrack-app

A privacy-preserving app for tracking covid cases

cryptokit

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

cs3100_f19

CS3100: Paradigms of Programming at CSE IITM

cs536-project

cs6225_s20_iitm

Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition

cv

cvxpy

A Python-embedded modeling language for convex optimization problems.

domainslib

Parallel Programming over Domains

dune

A composable build system for OCaml.

flambda-backend

The Flambda backend project for OCaml

fx

A fun exercise implementing effect handlers

iot-backend

Simple Go Backend to be hosted on Kubernetes

irmin

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

kami-project

Central repo for projects/collabotarion related to Kami

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

lwt

OCaml promises and concurrent I/O

lwt-multicore

marp-cli-example

The good starter for using Marp via Marp CLI, by the author of Marp