Stars
Lean 4 programming language and theorem prover
The APL programming language (a subset thereof) compiling to Common Lisp.
A new markup-based typesetting system that is powerful and easy to learn.
A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations
A keyboard-driven, vim-like browser based on Python and Qt.
Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A simple, fast and user-friendly alternative to 'find'
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Common Lisp editor/IDE with high expansibility
A client library for use with .NET based prog-langs for interfacing with Archipelago hosts.
A bitmap programming font optimized for coziness 💜
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust