- Spain
-
15:38
(UTC +02:00)
Lists (1)
Sort Name ascending (A-Z)
Starred repositories
Techniques and numbers for estimating system's performance from first-principles
A Git-compatible VCS that is both simple and powerful
A language server for Zig supporting developers with features like autocomplete and goto definition
GitHub mirror of https://git.sr.ht/~whynothugo/lsp_lines.nvim to work around Windows issues with `packer.nvim`.
Tree-sitter for the Jakt Programming Language
A small demo of spectre taken from Chandler Carruth's CppCon talk
💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Vim-fork focused on extensibility and usability
[Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.