Pinned Repositories
1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
aoc_peer_pressure
group of friends peer pressuring themselves into doing advent of code
BlackJack
The Blackjack card game, implemented in Rust. No UI, just CLI.
inferenceEngine
machineLearning
machineLearning2
rustlox
Interpreter and VM for the Lox language, written in Rust
SatSolver
A toy functional and parallel SAT solver implementation in Scala
sudoku
An efficient sudoku solver written in idiomatic Haskell
verith
A small coq library for verifying OCaml native integer computations
MRandl's Repositories
MRandl/aoc_peer_pressure
group of friends peer pressuring themselves into doing advent of code
MRandl/BlackJack
The Blackjack card game, implemented in Rust. No UI, just CLI.
MRandl/machineLearning
MRandl/machineLearning2
MRandl/SatSolver
A toy functional and parallel SAT solver implementation in Scala
MRandl/verith
A small coq library for verifying OCaml native integer computations
MRandl/1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
MRandl/cats-sandbox
MRandl/FollowBot
MRandl/inferenceEngine
MRandl/rustlox
Interpreter and VM for the Lox language, written in Rust
MRandl/sudoku
An efficient sudoku solver written in idiomatic Haskell
MRandl/DiskANN
Graph-structured Indices for Scalable, Fast, Fresh and Filtered Approximate Nearest Neighbor Search
MRandl/embedded-rust
Following the rust embedded development tutorial
MRandl/instruct-qa
Code and Data for "Evaluating Correctness and Faithfulness of Instruction-Following Models for Question Answering"
MRandl/nativeSegfault
MRandl/papaTranslator
MRandl/simpleCalculator
MRandl/vector_search_perf
benchmarking disk- and memory-based vector search
MRandl/website
my website @ mrandl.fr