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-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/dao-jsligo
shubhamkumar13/esy
package.json workflow for native development with Reason/OCaml
shubhamkumar13/esy-boot
shubhamkumar13/forge-projects
learning forge
shubhamkumar13/gospel
A tool-agnostic formal specification language for OCaml.
shubhamkumar13/javascript-projects
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/leetcode
Leetcode solutions
shubhamkumar13/maths-in-lean
doing mathematics in lean : https://leanprover-community.github.io/mathematics_in_lean
shubhamkumar13/nn-from-scratch
Implementing a Neural Network from Scratch (try to remodel in ocaml using lacaml)
shubhamkumar13/ocamlrep
Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange between OCaml and Rust
shubhamkumar13/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
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/test-gospel
test-gospel
shubhamkumar13/zero2prod
learning backend development using zero2prod book