Pinned Repositories
Achtung--die-Kurve-
Remake of the classic Achtung die Kurve using HTML5 websockets
backbonzo
secure backup automater in rust
grunt-inline-alt
Brings externally referenced resources into a single file.
lisp-interpreter
A bare bones lisp parser & interpreter
sortedvec
Rust vector types without dependencies that enable quick lookups
tower-of-hanoi
proof using the lean prover that the towers of hanoi problem is solvable
yapm-client
super-straight-forward-single-user-json-aes-based-online-password-manager
pulldown-cmark
An efficient, reliable parser for CommonMark, a standard dialect of Markdown
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
rustfmt
Format Rust code
marcusklaas's Repositories
marcusklaas/sortedvec
Rust vector types without dependencies that enable quick lookups
marcusklaas/Achtung--die-Kurve-
Remake of the classic Achtung die Kurve using HTML5 websockets
marcusklaas/lisp-interpreter
A bare bones lisp parser & interpreter
marcusklaas/tower-of-hanoi
proof using the lean prover that the towers of hanoi problem is solvable
marcusklaas/rough-graph-experiments
experiments with d3 and rough.js
marcusklaas/logical-verification-project
proving some basic theorems in modal logic
marcusklaas/modal-logic-cheat-sheet
things one should know going into the exam
marcusklaas/parser-dos-demo
marcusklaas/advent20
marcusklaas/async_chat_demo
marcusklaas/bbt
A bayesian skill-rating system similar to Elo, Glicko or TrueSkill
marcusklaas/cursive
A Text User Interface library for the Rust programming language
marcusklaas/fastcmc
a proof-of-concept for a speedier coinmarketcap
marcusklaas/haskell-exercises
A little course for Habito engineers to learn about some of the more obscure GHC extensions.
marcusklaas/katexify
recursively searches a directory for html and typesets math spans in them
marcusklaas/kdtree-rs
K-dimensional tree in Rust for fast geospatial indexing and lookup
marcusklaas/linearity-testing-experiments
marcusklaas/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
marcusklaas/mimalloc-rs
Rust port of the mimalloc project
marcusklaas/petgraph
Graph data structure library for Rust.
marcusklaas/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
marcusklaas/pulldown-cmark
marcusklaas/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
marcusklaas/rust-skeptic
Test your Rust Markdown documentation via Cargo
marcusklaas/signals
meldingen system amsterdam (signalen/signals)
marcusklaas/spsc-benches
benchmarking ways to send stuff from one thread to another
marcusklaas/standard
The Standard for Public Code
marcusklaas/tokio-imap
Tokio-based IMAP implementation
marcusklaas/trophy-case
🏆 Collection of bugs uncovered by fuzzing Rust code
marcusklaas/zola
A fast static site generator in a single binary with everything built-in.