Stars
A terminal user interface (TUI) EPUB reader written in Rust
Ratatui widget for rendering image graphics in terminals that support it
Some experiments in making exercises for teaching TLA+
A simple Text User Interface (TUI) application built with Rust using the ratatui library.
Java Dynamic Reverse Engineering and Debugging Tool
A Simple showcase for the Sea-of-Nodes compiler IR
An object-oriented Java implementation of the Weng-Lin ranking system, providing accurate skill-based ranking for multiplayer games.
Command-line sampling profiler for macOS, Linux, and Windows
Learn C and build your own programming language in under 1000 lines of code!
Enhance Spring Data JPA with Hibernate's Natural ID support for optimized entity lookups
A Clojure high performance data processing system
Automatically parallelize your for-comprehensions at compile time.
A Clojure model checker (using the TLA+/TLC engine)
100% non-blocking, Java NIO only( inspired by zio-nio) , JSON HTTP server based on Scala ZIO library. Everything including TLS encryption modeled as ZIO effects, convenient route DSL similar to htt…
LinDB is a scalable, high performance, high availability distributed time series database.
A list of learning materials to understand databases internals
Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
A curated list of awesome directed fuzzing research papers
Automatic admin interface based on Spring Boot and JPA. It reads metadata from your entities to provide a quick interface where trusted users can manage content.
A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups
🐬 A collection of awesome resources for the Flipper Zero device.