Pinned Repositories
sandmark
A benchmark suite for the OCaml compiler
sandmark-nightly
advent_of_code
advent of code 2019
adventofcode2021
adventofcode.com
ahrefs-chat-app
ahrefs-chat-app assignment
aoc
trying to finish 7 years of aoc, I don't think I will complete it but it's worth giving a shot.
cdf-plotter
a cdf plotter using minttea for olly
codecrafters-redis-rust
cozy
a beginner package manager for ocaml
shubhamkumar13's Repositories
shubhamkumar13/cozy
a beginner package manager for ocaml
shubhamkumar13/cdf-plotter
a cdf plotter using minttea for olly
shubhamkumar13/lean4-json
a json serializer/deserializer inspired from idris2-json
shubhamkumar13/ocaml-buck2-template
how to do ocaml without dune
shubhamkumar13/ocaml-starter-template
ocaml starter template for reason ocaml meetup
shubhamkumar13/cses-fi
solve problems on cses.fi using python
shubhamkumar13/aeneas
A verification toolchain for Rust programs
shubhamkumar13/aoc_2023
shubhamkumar13/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
shubhamkumar13/Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
shubhamkumar13/cosdata
Cosdata is a versatile vector database solution featuring high performance, immutability, and versioning capabilities, catering to a wide range of AI and machine learning applications.
shubhamkumar13/coursera-deep-learning-specialization
need this so that I don't have to save my notebooks when subscription is over
shubhamkumar13/ergo
Programming Language for Smart Legal Contracts
shubhamkumar13/esy
package.json workflow for native development with Reason/OCaml
shubhamkumar13/esy-boot
shubhamkumar13/example-csv-parser
just an example
shubhamkumar13/example-owl-vector-add
shubhamkumar13/forge-projects
learning forge
shubhamkumar13/FreeTube
An Open Source YouTube app for privacy
shubhamkumar13/javascript-projects
shubhamkumar13/lazy-lsp.nvim
Neovim plugin to auto install LSP servers
shubhamkumar13/lean4-samples
Code samples for Lean 4 (there are some errors but I use it for reference and the repo is archived so I need to keep a forked thing with me)
shubhamkumar13/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
shubhamkumar13/odoc
Documentation compiler for OCaml and Reason
shubhamkumar13/osqlite
sqlite in ocaml using eio
shubhamkumar13/parser_combinator_tutorial
making a parser combinator in lean
shubhamkumar13/Placements-2024
shubhamkumar13/python-student-support-code
Support for for students (Python)
shubhamkumar13/structopt
Parse command line arguments by defining a struct.
shubhamkumar13/zero2prod
learning backend development using zero2prod book