wanderinglethe

wanderinglethe's Stars

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17.5k1951.6k1.3k

• rust-bakery/nom

  Rust parser combinator framework

  Language:Rust9.3k86901800

• jepsen-io/jepsen

  A framework for distributed systems verification, with fault injection

  Language:Clojure6.8k193240712

• chronotope/chrono

  Date and time library for Rust

  Language:Rust3.3k26642515

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k2734186

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k2622279

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k122632358

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.4k23256302

• tikzit/tikzit

  pgf/TikZ diagram editor

  Language:C++1.1k2515469

• nushell/awesome-nu

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

  Language:Nushell68118337

• jepsen-io/elle

  Black-box transactional safety checker based on cycle detection

  Language:Isabelle635181734

• joethei/obsidian-plantuml

  Generate PlantUML Diagrams inside Obsidian.md

  Language:TypeScript38756220

• kragen/xcompose

  for sharing .XCompose keybindings

  Language:Emacs Lisp330182377

• uutils/findutils

  Rust implementation of findutils

  Language:Rust294177436

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28327168

• pigworker/CS410-17

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

  Language:Agda26323328

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda2171014169

• lydell/LinkHints

  A browser extension that lets you click with your keyboard.

  Language:TypeScript1443657

• google/assertor

  Fluent assertion library for Rust with readable messages.

  Language:Rust1146910

• Aneurysm9/vm_challenge

  983032

• rust-av/matroska

  Matroska format support

  Language:Rust9394119

• hooyuser/Solution-to-Algebra-Chapter-0

  Solution to Algebra, Chapter 0

  Language:TeX851419

• ppomes/myanon

  A mysqldump anonymizer

  Language:C8451812

• QAMichaelPeng/obsidian-graphviz

  Graphviz plugin for obsidian md.

  Language:TypeScript7541611

• rrthomas/pointless-xcompose

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

  Language:Ruby70836

• dmoka/fluent-asserter

  A library to write test assertions with a fluent interface.

  Language:Rust18100

• mietek/imla2017

  Agda formalisation of NbE for λ□

  Language:Agda17400

• uutils/parse_datetime

  Parses a relative time string and returns a `Duration`

  Language:Rust1541520

• theelous3/BeltBot

  Language:Python3207

• z1c0/synacor-challenge

  Language:C#110