Siegmentation Fault's repositories
ground_zero
Ground Zero: Lean 4 HoTT Library
lean4-categories
Category Theory & Cobordism Categories in Lean 4
aos-milsim
Kind of Military Simulator Game built upon https://github.com/piqueserver/piqueserver
dtt-cpp-templates
Dependent Type Theory on C++ Templates
emacs-qsharp-mode
GNU/Emacs Q# mode
starfish_prime
Starfish Prime: Lisp Flavoured LCF
tigerspades
BetterSpades for PowerPC Mac OS X
general-recursive-functions
Toy point free language implementing GRF
gnustep-embed
Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt
lambda-limbo
Implementation of λ calculus in Limbo
Language:Lua000
Language:PugISC000
hott-with-discontinuity
Experiments in Agda
Language:Agda000
ivy.mike
🧊 Ivy Mike: Cubical Base Library for Arend with definitional Path-β
000
Language:Python000
nodeverse
A procedurally generated space exploration game for the Minetest voxel game engine
Language:LuaGPL-3.0000
piqueserver
An Ace of Spades 0.75 server based on PySnip.
GPL-3.0000
Language:TeX000
000