Zoey Sheffield

monoscope. Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

incidentfox. AI-powered SRE platform for automated incident investigation

satori. Enlightened library to convert HTML and CSS to SVG

esqueleto. New home of Esqueleto, please file issues so we can get things caught up!

SSX-Research. Research on the data structure of SSX games.

positively-negative. Adventures in being positively negative when deciding things in Idris.

csolver. Haskell

react-shared-element-transition. A declarative API to animate the transition of elements shared between pages in a single page app

ohtt. H.O.T.T. using rewriting in Agda

HoTTEST-Summer-School. HoTTEST Summer School materials

penrose. Create beautiful diagrams just by typing notation in plain text.

peridot. A fast functional language based on two level type theory

cart-cube. Cartesian Cubical Type Theory

book. The category theory by example book

rust-codecov. collect coverage and prepare a codecov formatted coverage file with partial line hits included

smalltt. Demo for high-performance type theory elaboration

agda-unimath. The agda-unimath library

retrie. Retrie is a powerful, easy-to-use codemodding tool for Haskell.

agda-mode-vscode. agda-mode on VS Code

agda-language-server. Language Server for Agda

PomPom-Language. The cuteness implementation of a dependently typed language.

spectacle. Embedded specification language & model checker in Haskell

cartmell-thesis. HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”

elaboration-zoo. Minimal implementations for dependent type checking and elaboration

modern-unix. A collection of modern/faster/saner alternatives to common unix commands.

pi-forall. A demo implementation of a simple dependently-typed language

refinedt. Refinement types + dependent types = ❤️

Agda. Agda formalisation of the Introduction to Homotopy Type Theory

staged. Staged compilation with dependent types

toy-language-server. Example language server (LSP) implementation for a toy language

plzoo. Programming Languages Zoo

org-agda-mode. An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

starlight. JS engine in Rust

plt. Programming Language Theory λΠ

awesome-readme. A curated list of awesome READMEs

native-windows-gui. A light windows GUI toolkit for rust

ualib.github.io. The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.

hyperfine. A command-line benchmarking tool

adwaita-rounded. A patch to round the bottom corners of the Adwaita theme.

dialectic. Transport-polymorphic, asynchronous session types for Rust

cubicaltt. Experimental implementation of Cubical Type Theory

effects-bibliography. A collaborative bibliography of work related to the theory and practice of computational effects

homotopy-type-theory-course. A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

monaco-editor. A browser based code editor

CoContextualPi. Agda

agda. The theory of algebraic graphs formalised in Agda

youtube-dl. Command-line program to download videos from YouTube.com and other video sites

fuse-rust. Fuse fuzzy search library by https://github.com/krisk written in Rust

Bloop. A light weight scratch pad inspired and derived from https://github.com/IvanMathy/Boop.

uk.co.mrbenshef.TeX-Match.

Woop. Woop is a scriptable scratchpad that allows you to run any transformations on your text using the built-in or your self-written .js scripts.

blockchaincourse. Blockchains and Distributed Ledgers

justified-variables. Words of the same length with related meanings.

typing-linear-pi. Typing the linear pi calculus in Agda

TeX-Match. Search through over 1000 different LaTeX symbols by sketching. A desktop version of detexify.

hoppscotch. Open-Source API Development Ecosystem • https://hoppscotch.io • Offline, On-Prem & Cloud • Web, Desktop & CLI • Open-Source Alternative to Postman, Insomnia

SPLV20. SPLV20 course notes

bevy. A refreshingly simple data-driven game engine built in Rust

gladis. [Deprecated] Easily import Glade-generated UI files into Rust code.

rusty_v8. Rust bindings for the V8 JavaScript engine

gvsbuild. GTK stack for Windows

sequoia-v0. Design, play with, and analyze sequent calculus proof systems.

PSL. Isabelle

proofground2020-solutions. Isabelle

Boop-GTK. Port of @IvanMathy's Boop to GTK, a scriptable scratchpad for developers.

awesome-selfhosted. A list of Free Software network services and web applications which can be hosted on your own servers

Boop. A scriptable scratchpad for developers. In slow yet steady progress.

color-eyre. Custom hooks for colorful human oriented error reports via panics and the eyre crate

gentle-intro-to-reflection. A slow-paced introduction to reflection in Agda. ---Tactics!

HoTT-Intro. An introductory course to Homotopy Type Theory

buttplug. Rust Implementation of the Buttplug Sex Toy Control Protocol

checkers. This is not a game.

fpccheck. AMPL

agda-stdlib. The Agda standard library

zsh-notify. Desktop notifications for long-running commands in zsh.

rofi. A huge collection of Rofi based custom Applets, Launchers & Powermenus.

tool_lists. Links to tools by subject

rust. Empowering everyone to build reliable and efficient software.

haskell-language-server. Official Haskell IDE support via the language server protocol (LSP)

miniagda. A prototypical dependently typed languages with sized types and variances

albert. A fast and flexible keyboard launcher

guide. The Uber Go Style Guide.

agda. Agda is a dependently typed programming language / interactive theorem prover.

AgdaCheatSheet. Basics of the dependently-typed functional language Agda ^_^

cubical. An experimental library for Cubical Agda

caddy. Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

plfa.github.io. An introduction to programming language theory in Agda

tauri. Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

mlsolver. A tool for solving the satisfiability and validity problems for modal fixpoint logics.

tailwindcss. A utility-first CSS framework for rapid UI development.

SmartHomeAdapters. TeX

kotest. Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

mockk. mocking library for Kotlin

MPTP2078. The MPTP2078 benchmark

hyped-2018. SpaceX Hyperloop Pod Competition 2018

Reinforcement-Learning. Learn Deep Reinforcement Learning in 60 days! Lectures & Code in Python. Reinforcement Learning + Deep Learning

Front-End-Checklist. 🗂 The essential checklist for modern web development, for humans and AI agents

headless-recorder. Chrome extension that records your browser interactions and generates a Playwright or Puppeteer script.

hstr. Bash and Zsh shell history TUI suggest box - easily view, navigate, search and manage your command history.

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

yew. Rust / Wasm framework for creating reliable and efficient web applications

automerge-classic. A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

abricotine. Markdown editor with inline preview

kengine. Game engine with an Entity-Component-System (ECS) architecture. Focus on ease-of-use, runtime extensibility and compile-time type safety.

Capsule-Network-Tutorial. Pytorch easy-to-follow Capsule Network tutorial

reactos. A free Windows-compatible Operating System

souper. A superoptimizer for LLVM IR

wuffs. Wrangling Untrusted File Formats Safely

git-flight-rules. Flight rules for git

polybar. A fast and easy-to-use status bar

CatchUp. An app for catching up on things.

nlp_tasks. Natural Language Processing Tasks and References

Mailspring. :love_letter: A beautiful, fast and fully open source mail client for Mac, Windows and Linux.

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

db_tutorial. Writing a sqlite clone from scratch in C

learn-you-a-haskell. “Learn You a Haskell for Great Good!” by Miran Lipovača

Awesome-Linux-Software. 🐧 A list of awesome Linux softwares

CleverAlgorithms. Clever Algorithms: Nature-Inspired Programming Recipes

trust. An interactive guide to the game theory of cooperation

pbr. a Physically Based Renderer (PBR) in Go

numerical-linear-algebra. Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course

100days. 100 days of algorithms

betterinformatics. Welcome to Better Informatics. The student run website for students in the School of Informatics.

game-developer-roadmap. Roadmap to becoming a game developer in 2022

tabby. A terminal for a more modern age

Bash-Snippets. A collection of small bash scripts for heavy terminal users

bundlesize. Keep your bundle size in check

ran. :zap: RAN! React . GraphQL . Next.js Toolkit :zap: - SEO-Ready, Production-Ready, SSR, Hot-Reload, CSS-in-JS, Caching, CLI commands and more...

machine-learning. :earth_americas: machine learning tutorials (mainly in Python3)

Awesome-Fuzzing. A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.

rust-algorithms. Common data structures and algorithms in Rust

ECS. C++ single-header entity component system library

Index-2026. HTML

SNNs. Tutorials and implementations for "Self-normalizing networks"

kotlin-android-mvp-starter. Create/Generate your kotlin MVP projects easily

linux-insides. A book-in-progress about the Linux kernel and its insides.

AlgoXY. Book of Elementary Functional Algorithms and Data structures

Extract. Bash/Zsh function for extract: .zip, .rar, .bz2, .gz, .zlib, .tar, .tbz2, .tgz, .Z, .7z, .xz, .exe, .tar.bz2, .tar.gz, .tar.xz, etc.

speedracer. Collect performance metrics for your library/application.

TypeScript-React-Starter. A starter template for TypeScript and React with a detailed README describing how to use the two together.

awesome-compilers. :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

insomnia. The open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.

awesome. 😎 Awesome lists about all kinds of interesting topics

awesome-courses. :books: List of awesome university courses for learning Computer Science!

book. A textbook on informal homotopy type theory

book. Crypto 101, the introductory book on cryptography.

freactal. Clean and robust state management for React and React-like libs.

c2go. ⚖️ A tool for transpiling C to Go.

lowlevelprogramming-university. How to be low-level programmer

How-to-Make-a-Computer-Operating-System. How to Make a Computer Operating System in C++

AlgoDS. Implementation of Algorithms and Data Structures, Problems and Solutions

Odin. Odin Programming Language

bash-guide. A guide to learn bash

lily. Interpreted language focused on expressiveness and type safety.

computer-science. 🎓 Path to a free self-taught education in Computer Science!

learnapollo. 👩🏻‍🏫 Learn Apollo - A hands-on tutorial for Apollo GraphQL Client (created by Graphcool)

Nintendo_Switch_Reverse_Engineering. A look at inner workings of Joycon and Nintendo Switch

gdb-dashboard. Modular visual interface for GDB in Python

gravity. Gravity Programming Language

selfie. An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

zig. Moved to Codeberg

ML-From-Scratch. Machine Learning From Scratch. Bare bones NumPy implementations of machine learning models and algorithms with a focus on accessibility. Aims to cover everything from linear regression to deep learning.

lectures. Oxford Deep NLP 2017 course

hyperapp. 1kB-ish JavaScript framework for building hypertext applications

gdlv. GUI frontend for Delve

ml-videos. A collection of video resources for machine learning

dep. Go dependency management tool experiment (deprecated)

Vulkan-Forward-Plus-Renderer. Forward+ renderer in Vulkan using Compute Shader. An Upenn CIS565 final project.

free-programming-books. :books: Freely available programming books

single_file_libs. List of single-file C/C++ libraries, with emphasis on clause-less licenses.

upterm. A terminal emulator for the 21st century.

kakoune. mawww's experiment for a better code editor

vscode. Visual Studio Code

cs-video-courses. List of Computer Science courses with video lectures.

llvm. Library for interacting with LLVM IR in pure Go.

go. The Go programming language

Deep-Learning-Papers-Reading-Roadmap. Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

Furlang. Go

goory. A go package for compiling syntax trees to LLVM ir and WebAssembly ir

graphql-spec. GraphQL is a query language and execution engine tied to any backend service.

relay. Relay is a JavaScript framework for building data-driven React applications.

react. The library for web and native user interfaces.

duality. a 2D Game Development Framework