Pinned Repositories
frodus
html2md
Useless HTML to Markdown converter
preact-wasm-example
How to import WASM module, compiled from Rust with wasm-pack, into Preact project
tg-park-bot
friendly telegram bot
xxx
Solve logic schemes with SMT
jorpic's Repositories
jorpic/frodus
jorpic/build_json_in_postgres
Benchmarking various methods of building JSON objects in PostgreSQL
jorpic/colorful-numbers
Nice pictures
jorpic/colorful-triples
jorpic/doc-gen4
Document Generator for Lean 4
jorpic/easy25519-kotlin
Typeful wrapper over group elements from ed25519-java
jorpic/eco-log
jorpic/euclid-proof-checker
Checking proofs from Euclid's book I in Haskell
jorpic/fhmp
Fitter, happier, more productive
jorpic/graphicallinearalgebra-book
jorpic/haskell-tree-sitter
Haskell bindings for tree-sitter
jorpic/haskell-tree-sitter-tlaplus
Haskell bindings for tree-sitter grammar of TLA+ and PlusCal
jorpic/helix
A post-modern modal text editor.
jorpic/idik
Learn K3 language from idioms
jorpic/jsii-rosetta
The jsii sample code transliterator
jorpic/moonboard-analysis
Show some stats on moonboard problems
jorpic/nyc-zipcodes-in-kml
KML with zip codes and corresponging regions of New York city
jorpic/parrots-at-work
jorpic/pdfrip
A multi-threaded PDF password cracking utility equipped with commonly encountered password format builders and dictionary attacks.
jorpic/phony-sqlite-engine
Play with SQLite's query bytecode
jorpic/playground
jorpic/questionary
Please answer some questions
jorpic/square-sums
jorpic/stack
The Haskell Tool Stack
jorpic/stack-templates
jorpic/stm32f1xx-hal
A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal
jorpic/string-processing-by-example
jorpic/tla-ui
Experimantal IDE for TLA+
jorpic/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
jorpic/weather