AtticusKuhn's Stars
frankxwang/multimodal-alignment-code
nmn/sveltekit-stylex
A demo showing StyleX working within a Sveltekit project
rahulc29/realizability
Experiments with Realizability in Univalent Type Theory
tweag/awesome-learning-haskell
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
Card-Forge/forge
An unofficial rules engine for the world's greatest card game.
magefree/mage
Magic Another Game Engine
Cockatrice/Cockatrice
A cross-platform virtual tabletop for multiplayer card games
kbuzzard/pfr
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
leanprover-community/lean-auto
Experiments in automation for Lean
agda/agda-finite-prover
Library for proving propositions quantified over finite sets
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
AlgebraicJulia/AlgebraicRelations.jl
Relational Algebra, now with more algebra!
RaitoBezarius/compiler9000
An formalized micro-compiler in Lean 4
Shamrock-Frost/BrouwerFixedPoint
HigherOrderCO/hvm-64
ocaml-community/utop
Universal toplevel for OCaml
neohaskell/NeoHaskell
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
rzk-lang/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
LispCookbook/cl-cookbook
The Common Lisp Cookbook
amark/gun
An open source cybersecurity protocol for syncing decentralized graph data.
cdiggins/cat-language
Cat - a statically typed functional stack-based programming language
evincarofautumn/kitten
A statically typed concatenative systems programming language.
lexi-lambda/monad-validate
A Haskell monad transformer library for data validation
inpla/inpla
Inpla: Interaction nets as a programming language (the current version)
wentasah/nix-conf
Nix configuration of my systems
AtticusKuhn/newsite
my newer website
LukeSmithxyz/emailwiz
Script that installs/configures a Dovecot, Postfix, Spam Assassin, OpenDKIM Debian web server
lovesegfault/nix-config
My personal NixOS config