Stars
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
An interpreter of Hagino's Categorical Programming Language (CPL).
Multi-platform GPGPU computations with Scala, seamlessly 🚀
An introduction to theorem proving in Lean for the impatient.
Generate Terraform moved blocks automatically for painless refactoring
Iterative 'ls' command in C. List your files and directories in a clear, simple and iterative way. Enables navigation through different directories to view their contents.
A modern functional programming language designed for elegance, safety, and performance. Written in Go, outputs to LLVM.
Nvim plugin that intelligently reopens files at your last edit position.
Lightweight, asynchronous Neovim plugin that uses the LSP to show references to functions, methods, types and other
cmp import and use all environment variables from .env.* and system
Neovim plugin to analyze and visualize code size of used plugins to uncover bloat.
A Neovim plugin to display both relative and absolute line numbers side-by-side
Distributors - Unifying Parsers, Printers & Grammars
Yet another Nix CLI helper. [Maintainers=@NotAShelf, @faukah]
An open, technical and introductory book for the Zig programming language 📚📖
📚 A curated list of awesome articles, videos, and other resources to learn and practice software architecture, patterns, and principles.
Dark theme with relaxing and no-saturated colors
Fine-grained parallelism with sub-nanosecond overhead in Zig
LSP diagnostics in virtual text at the top right of your screen
A list of awesome lean4 projects. Feel free to add your project.
In-place translation of TLA⁺ symbols into Unicode, in Neovim
Magical Rust patterns laid out and simplified