ThePuzzlemaker

bore

🕳 bore is a simple CLI tool for making tunnels to localhost

xv6-riscv

Xv6 for RISC-V

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

bingrep

like ~~grep~~ UBER, but for binaries

bacon

background rust code check

opengl-tutorials

Tutorials from the following playlist: https://www.youtube.com/playlist?list=PLPaoO-vpZnumdcb4tZc4x5Q-v7CkrQ6M-

bitflags

A macro to generate structures which behave like bitflags

duct.rs

a Rust library for running child processes

bzip3

A better and stronger spiritual successor to BZip2.

oc2

RISC-V VMs in Minecraft.

nostrum

Elixir Discord Library

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

elixir-tools.nvim

Neovim plugin for Elixir

peridot

A fast functional language based on two level type theory

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

mech

🦾 Main repository for the Mech programming language. Start here!

holbert

A graphical interactive proof assistant designed for education

butter

A tasty language for building efficient software. Currently in hiatus

function-references

Proposal for Typed Function References

rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

orbital-mechanics-notes

Notes for Orbital Mechanics

knight-lang

The Knight Programming Language

prowl

WIP stack language that uses regex for control flow

quest2

reworking quest, but faster

GeNT

twemoji-flags

Pride Flags in Twemoji Flag style

deimos

The compiler for Deimos, a small, low-level Lua inspired language

fixed-typed-arena

A typed arena that uses fixed-size chunks to ensure non-amortized O(1) allocations

mdtest

Markdown-based unit test harness.