Block or Report
Block or report liesnikov
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Docmost is an open source collaborative documentation and wiki software. It is an open-source alternative to the likes of Confluence and Notion.
A list of Reverse Engineering articles, books, and papers
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.
A proof assistant for higher-dimensional type theory
A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.
Exported, Nix-based monorepo tooling from TVL. In use for our repo at https://code.tvl.fyi
A really small example of the Backpack module system for Haskell
Make a click sound when emacs does garbage collection
A Language with Dependent Data and Codata Types
Google Chrome and Firefox extension that prevents the blocking of pasting into input fields
Collection of image builders [maintainer=@Lassulus]
An open-source Shazam client for Linux, written in Rust.
Cross-platform, fast, feature-rich, GPU based terminal
stb single-file public domain libraries for C/C++
An agda2hs-compatible library for well-scoped syntax
DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.
garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.