-
posit Public
Experiments in computing with strictly positive data. Evidence transformers, polynomial datatypes, (co)inductive recursors, and other adjacent ideas.
UpdatedJan 20, 2025 -
-
sestina Public
Tinkering with creating a functional programming language for procedural content generation.
-
zmk-config-zen-2 Public
Forked from LOWPROKB/zmk-config-zen-2(Personal fork) ZMK configuration repo for v2 of the Corne-ish Zen keyboard
UpdatedNov 5, 2024 -
agda-type-refinement Public
Experiments encoding datasort (and potentially index) type refinements in Agda.
-
interactive-lp Public
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
-
parapoly Public
Forked from ionathanch/parapolyA LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
TeX UpdatedAug 15, 2024 -
-
-
spelling-bee Public
Data structures/algorithms related to spelling bee word puzzles
Haskell UpdatedSep 11, 2022 -
-
nimi2vec Public
toki pona word vector embeddings, and games based thereupon
-
CeptreDocs Public
Forked from ashakhatri007/CeptreDocsCeptre website and documentation
HTML Other UpdatedMar 3, 2022 -
-
-
-
comics-inferencing Public
Code related to generating comics that elicit inferencing in readers.
-
-
tokipona.parser Public
Forked from matthewdeanmartin/tokipona.parserA Toki Pona Parser
C# UpdatedOct 16, 2019 -
-
-
-
-
-
-
-
-
-
-
drinks Public
Drink recipes from the William/8/Chris repertoire.