Karthik Ravikanti's repositories
parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
clrs-nim
Examples and solutions to exercises from CLRS in Nim
LeetCode
đź’ˇ LeetCode in C++/Java/Python (respect coding conventions)
rust
Exercism exercises in Rust.
CLRS
đź“š Solutions to Introduction to Algorithms Third Edition
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
plfa-exercises
Solved exercises for https://plfa.github.io/
emacs-rust-config
emacs.d files for making Emacs a Rust development environment
awesome-rust-mentors
A list of rust lang mentors tagged by topics of interest
rc5_test
RC5 recruitment test
tonic
A native gRPC client & server implementation with async/await support.
rmob
Arr! mob - a cli swiss army knife fer shippin' code together
unison
A friendly programming language from the future
haskell-study-plan
An opinionated list of resources for learning Haskell
fp-course
Functional Programming Course
hid-examples
Examples to accompany the book "Haskell in Depth"
agda
Agda is a dependently typed programming language / interactive theorem prover.
advent-of-c--2021
Advent of Code 2021 in C++