wanderinglethe

Solution-to-Algebra-Chapter-0

Solution to Algebra, Chapter 0

imla2017

Agda formalisation of NbE for λ□

tikzit

pgf/TikZ diagram editor

quiver

A modern commutative diagram editor for the web.

book

A textbook on informal homotopy type theory

LinkHints

A browser extension that lets you click with your keyboard.

awesome-nu

A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.

vm_challenge

synacor-challenge

HoTTEST-Summer-School

HoTTEST Summer School materials

agda-unimath

The agda-unimath library

plfa.github.io

An introduction to programming language theory in Agda

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

matroska

Matroska format support

fluent-asserter

A library to write test assertions with a fluent interface.

assertor

Fluent assertion library for Rust with readable messages.

nom

Rust parser combinator framework

chrono

Date and time library for Rust

myanon

A mysqldump anonymizer

parse_datetime

Parses a relative time string and returns a `Duration`

findutils

Rust implementation of findutils

coreutils

Cross-platform Rust rewrite of the GNU coreutils

obsidian-graphviz

Graphviz plugin for obsidian md.

obsidian-plantuml

Generate PlantUML Diagrams inside Obsidian.md

elle

Black-box transactional safety checker based on cycle detection

jepsen

A framework for distributed systems verification, with fault injection

maelstrom

A workbench for writing toy implementations of distributed systems.

xcompose

for sharing .XCompose keybindings

pointless-xcompose

Extra Compose mappings to input an irritatingly large number of Unicode symbols under X.

BeltBot