Pinned Repositories
colorful
A theme with a dark & light variant for VS Code.
leval
rust expression evaluation
ReX
ReX - typesetting mathematics
symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
comemo
Incremental computation through constrained memoization.
ecow
Compact, clone-on-write vector and string.
hypher
Separates words into syllables.
pdf-writer
A step-by-step PDF writer.
typst
A new markup-based typesetting system that is powerful and easy to learn.
unscanny
Painless string scanning.
laurmaedje's Repositories
laurmaedje/ReX
ReX - typesetting mathematics
laurmaedje/symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
laurmaedje/colorful
A theme with a dark & light variant for VS Code.
laurmaedje/leval
rust expression evaluation
laurmaedje/rechner
calculator with electron and rust
laurmaedje/sudoku
Tree-searching sudoku solver with forward checking.
laurmaedje/typst-lsp
A brand-new language server for Typst, plus a VS Code extension
laurmaedje/arm-hello
hello world OS for aarch64 architecture
laurmaedje/codemirror-deco-bug
laurmaedje/Daydream
Pathfinding with A* in Unity
laurmaedje/fontdb
A simple, in-memory font database with CSS-like queries.
laurmaedje/iai
Experimental one-shot benchmarking/profiling harness for Rust
laurmaedje/image
Encoding and decoding images in Rust
laurmaedje/kurbo
A Rust library for manipulating curves
laurmaedje/oxipng
Multithreaded PNG optimizer written in Rust
laurmaedje/packages
Packages for Typst.
laurmaedje/pdfmake
Client/server side PDF printing in pure JavaScript
laurmaedje/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
laurmaedje/resvg
An SVG rendering library.
laurmaedje/rustfmt
Format Rust code
laurmaedje/rustybuzz
An incremental harfbuzz port to Rust
laurmaedje/safari-atomic-bug
Safari WebAssembly atomics compare exchange bug
laurmaedje/string-rosetta-rs
Comparison of Rust string types
laurmaedje/this-week-in-rust
Data for this-week-in-rust.org
laurmaedje/ttf-parser
A high-level, safe, zero-allocation TrueType font parser.
laurmaedje/typst
A new markup-based typesetting system that is powerful and easy to learn.
laurmaedje/typst-tools4typst
An utility package for typst package authors.
laurmaedje/unicode-bidi
Implementation of the Unicode Bidirection Algorithm in Rust
laurmaedje/z3.rs
Rust bindings for the Z3 solver.