William Ball wball
0 followers · 0 following
  • Joined on 2024-08-04
Repositories
15
 Projects Packages Public activity Starred repositories
Filter
Sort
dotfiles
Shell 0 0
Updated 2025-11-24 17:32:33 -08:00
perga-mode
Emacs Lisp 0 0
Updated 2025-11-21 16:05:18 -08:00
tree-sitter-perga
C 0 0
Treesitter parser for perga.
Updated 2025-09-13 06:11:30 -07:00
perga
Haskell 0 0
Basic proof assistant based on Calculus of Constructions
Updated 2025-09-12 07:04:28 -07:00
fol_idris
Idris 0 0
Updated 2025-08-13 22:40:44 -07:00
proof_checker
OCaml 0 0
Updated 2025-03-01 13:15:11 -08:00
perga.nvim
Scheme 0 0
Basic neovim plugin for perga
Updated 2024-12-21 05:00:50 -08:00
GroupTheory
Agda 0 0
Updated 2024-10-22 15:05:55 -07:00
Category-Theory
Agda 0 0
Updated 2024-10-13 22:20:07 -07:00
lambda
Haskell 0 0
Updated 2024-08-28 13:08:11 -07:00
logical-foundations
Coq 0 0
Updated 2024-08-28 12:11:35 -07:00
type-theory-and-formal-proofs
Coq 0 0
Updated 2024-08-28 11:53:36 -07:00
proof-checker
Standard ML 0 0
Updated 2024-08-14 14:43:44 -07:00
PolymathREU-Walking-to-infinity-on-special-sequences
Rust 0 0
Code from the 2020 Polymath REU project "Walking to infinity on special sequences".
Updated 2024-08-04 16:48:04 -07:00
Circle-Packings
Mathematica 0 0
Repository for code from summer research project at Swrathmore College. (Made in collaboration with Nooria Ahmed, Ellis Buckminster, Dylan Torrance, Emmi Rivkin, Jake Viscusi, and Ian Whitehead)
Updated 2024-08-04 16:45:13 -07:00