Discover @TOTBWF Open Source projects

Reed Mullanix (@TOTBWF)

TOTBWF

Stars
479
Global Rank 60,017 (Top 3 %)
Followers 201
Following 12
Registered over 10 years ago
Most used languages

Agda 23.1 %

Haskell
23.1 %

Emacs Lisp
10.3 %

F#
7.7 %

Rust
5.1 %

C
5.1 %

Lean 5.1 %

Prolog
2.6 %

Java
2.6 %

Nix
2.6 %

Common Lisp
2.6 %

HTML
2.6 %

JavaScript
2.6 %

YASnippet 2.6 %

CSS
2.6 %
Location 🇨🇦 Canada
Country Total Rank 1,804
Country Ranking

Agda 2

Lean 2

YASnippet 3

Haskell
6

Prolog
11

F#
21

Nix
59

Emacs Lisp
66

Common Lisp
73

Rust
297

C
369

CSS
3,243

Java
5,545

HTML
7,556

refinery

⛏️ A refinement proof framework for haskell

tactic-haskell

Tactic Metaprogramming in Haskell

SteamCurses

A Basic NCurses Client for Steam

omit-generics

Omit fields for instance deriving

muprl

A small NuPRL style proof assistant

teenytt

A Teeny Type Theory

iso

A reversible language

coolttviz

agda-tic-tac-toe

Tic Tac Toe, formalized in Agda

cubical-categories

Category theory formalized in cubical agda

agda-sgd

Experiments in Synthetic Differential Geometry

lean4-raytrace

A simple raytracer written in lean

FSharp.Data.Dataloader

A F# Library for simplifying access to remote data, with caching and batching

MLogic

An implementation of a mini-ML written entirely in prolog

graphiql.el

Graphql development environment for emacs

agda-category-theory-exercises

A series of exercises for learning Category Theory in Agda

dstext

Dark Souls death text on the command line

agda-higher-categories

Experiments in Higher Category Theory in Agda

agda-groups

Group Theory in Agda, Done Categorically

agda-evil-emacs

Emacs + Agda for Vim users

cooltt-categories

Categories ala Cooltt

forest

My personal wiki

lean-rz

Realizability theory in lean

advent-of-code-2022

clphs

Constraint Logic Programming for Haskell

agda-bialgebra-sorting

Bialgebraic Sorting Algorithms

BigMacs

My personal emacs config

agda-partial-setoid

An implementation of partial setiods in agda

TenPointsToHappiness

A motiviational app that allows you to track good things you have done for a day.

quasilib

TOTBWF.github.io

pine

A small, dependently typed language

Socks.fs

A functional socket library for F#

dotfiles

DisClean

Bot for deleting all messages from a given user in a discord server

notes-on-progams-equals-proof

A series of formalizations based of the book "Program = Proof" by Samuel Miram

podcast-dl

A simple CLI podcast downloader

.emacs.d

My Emacs Configuration

neuron

A website for designing toy neural networks.

teamcity-el

Teamcity integration for emacs