Max Taldykin's repositories
build_json_in_postgres
Benchmarking various methods of building JSON objects in PostgreSQL
colorful-numbers
Nice pictures
doc-gen4
Document Generator for Lean 4
easy25519-kotlin
Typeful wrapper over group elements from ed25519-java
euclid-proof-checker
Checking proofs from Euclid's book I in Haskell
haskell-tree-sitter
Haskell bindings for tree-sitter
haskell-tree-sitter-tlaplus
Haskell bindings for tree-sitter grammar of TLA+ and PlusCal
helix
A post-modern modal text editor.
jsii-rosetta
The jsii sample code transliterator
moonboard-analysis
Show some stats on moonboard problems
nyc-zipcodes-in-kml
KML with zip codes and corresponging regions of New York city
pdfrip
A multi-threaded PDF password cracking utility equipped with commonly encountered password format builders and dictionary attacks.
phony-sqlite-engine
Play with SQLite's query bytecode
questionary
Please answer some questions
stack
The Haskell Tool Stack
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+.