wanderinglethe's Stars
uutils/coreutils
Cross-platform Rust rewrite of the GNU coreutils
rust-bakery/nom
Rust parser combinator framework
jepsen-io/jepsen
A framework for distributed systems verification, with fault injection
chronotope/chrono
Date and time library for Rust
jepsen-io/maelstrom
A workbench for writing toy implementations of distributed systems.
varkor/quiver
A modern commutative diagram editor for the web.
HoTT/book
A textbook on informal homotopy type theory
plfa/plfa.github.io
An introduction to programming language theory in Agda
tikzit/tikzit
pgf/TikZ diagram editor
nushell/awesome-nu
A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.
jepsen-io/elle
Black-box transactional safety checker based on cycle detection
joethei/obsidian-plantuml
Generate PlantUML Diagrams inside Obsidian.md
kragen/xcompose
for sharing .XCompose keybindings
uutils/findutils
Rust implementation of findutils
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
pigworker/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
UniMath/agda-unimath
The agda-unimath library
lydell/LinkHints
A browser extension that lets you click with your keyboard.
google/assertor
Fluent assertion library for Rust with readable messages.
Aneurysm9/vm_challenge
rust-av/matroska
Matroska format support
hooyuser/Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
ppomes/myanon
A mysqldump anonymizer
QAMichaelPeng/obsidian-graphviz
Graphviz plugin for obsidian md.
rrthomas/pointless-xcompose
Extra Compose mappings to input an irritatingly large number of Unicode symbols under X.
dmoka/fluent-asserter
A library to write test assertions with a fluent interface.
mietek/imla2017
Agda formalisation of NbE for λ□
uutils/parse_datetime
Parses a relative time string and returns a `Duration`
theelous3/BeltBot
z1c0/synacor-challenge