Pinned Repositories
Advent-of-Code-2023
ben-or-randomized-consensus
A simulator for Ben-Or’s Randomized Consensus Algorithm
budget-allocation-problem
busyhask
coin-mixer-challenge
january-tests-haskell
market-data-aggregator
software-design-in-haskell
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
toy-payment-engine
plumenator's Repositories
plumenator/Advent-of-Code-2023
plumenator/busyhask
plumenator/advent-of-c--2021
Advent of Code 2021 in C++
plumenator/fp-course
Functional Programming Course
plumenator/market-data-aggregator
plumenator/.emacs.d
plumenator/Advent-of-Code-2022
plumenator/agda
Agda is a dependently typed programming language / interactive theorem prover.
plumenator/awesome-rust-mentors
A list of rust lang mentors tagged by topics of interest
plumenator/CLRS
📚 Solutions to Introduction to Algorithms Third Edition
plumenator/clrs-nim
Examples and solutions to exercises from CLRS in Nim
plumenator/Cracking-The-Coding-Interview-in-C-
plumenator/Cracking-The-Coding-Interview-in-Python
plumenator/emacs-rust-config
emacs.d files for making Emacs a Rust development environment
plumenator/exercism
plumenator/haskell-study-plan
An opinionated list of resources for learning Haskell
plumenator/hid-examples
Examples to accompany the book "Haskell in Depth"
plumenator/learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
plumenator/LeetCode
💡 LeetCode in C++/Java/Python (respect coding conventions)
plumenator/ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
plumenator/ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
plumenator/parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
plumenator/plfa-exercises
Solved exercises for https://plfa.github.io/
plumenator/practical-fm
A gently curated list of companies using verification formal methods in industry
plumenator/rc5_test
RC5 recruitment test
plumenator/rmob
Arr! mob - a cli swiss army knife fer shippin' code together
plumenator/rust
Exercism exercises in Rust.
plumenator/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
plumenator/tonic
A native gRPC client & server implementation with async/await support.
plumenator/unison
A friendly programming language from the future