Hide content and notifications from this user.
Contact Support about this user's behavior.
A music notation language and compiler to MIDI.
RFCs for changes to Rust
Generalized stream processors
Terminal-based presentations using Pandoc
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
Development of homotopy type theory in Agda
Pygments lexers for Maude, both batch and interactive.
Package for using unicode/OpenType maths fonts in XeLaTeX & LuaLaTeX
Funktional generic programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
🍻 Core formulae for the Homebrew package manager
Rust bindings to [primesieve](http://primesieve.org)
Command line utilities for tabular data files written in the D programming language.
An infix-homoiconic language.
An Emacs major mode for editing Dwarf Fortress “raw” files
A library for dealing with Dwarf Fortress’s RAW files, with APIs in C and Rust.
an inline LaTeX construct for passing token lists as TeX parameters
Rust wrapper for [Yeppp!](http://www.yeppp.info)
Graph data structure library for Rust.
Generic worst-case-linear-time sorting and partitioning algorithms based on discriminators
ripgrep combines the usability of The Silver Searcher with the raw speed of grep.
binding generator for rust language
Counting occurrences of a given byte in a slice of memory – fast
Agda is a dependently typed programming language / interactive theorem prover.
A program that allows you to count code, quickly.
A general-purpose lens library for Rust.
Count lines of code quickly.
An easy to use dice rolling library for Rust
Collect an iterator into a slice.
A macro for defining type operators in Rust.