Max Taldykin's repositories
pdfrip
A multi-threaded PDF password cracking utility equipped with commonly encountered password format builders and dictionary attacks.
fhmp
Fitter, happier, more productive
euclid-proof-checker
Checking proofs from Euclid's book I in Haskell
jsii-rosetta
The jsii sample code transliterator
stm32f1xx-hal
A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
helix
A post-modern modal text editor.
doc-gen4
Document Generator for Lean 4
stack
The Haskell Tool Stack
haskell-tree-sitter
Haskell bindings for tree-sitter
haskell-tree-sitter-tlaplus
Haskell bindings for tree-sitter grammar of TLA+ and PlusCal
nyc-zipcodes-in-kml
KML with zip codes and corresponging regions of New York city
moonboard-analysis
Show some stats on moonboard problems
tla-ui
Experimantal IDE for TLA+
phony-sqlite-engine
Play with SQLite's query bytecode
colorful-numbers
Nice pictures
idik
Learn K3 language from idioms
easy25519-kotlin
Typeful wrapper over group elements from ed25519-java
build_json_in_postgres
Benchmarking various methods of building JSON objects in PostgreSQL
questionary
Please answer some questions