-
-
piqueserver2 Public
https://github.com/piqueserver/piqueserver fork
-
tigerspades Public
BetterSpades for PowerPC Mac OS X
-
aos-milsim Public
Kind of Military Simulator Game built upon https://github.com/rzrn/piqueserver2
-
-
9aout Public
Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)
-
ground_zero Public archive
Ground Zero: Lean 4 HoTT Library
-
hrin Public
An attempt to reinvent the garbage collector
-
-
hypertest Public
Hyperbolic Minetest-like game
-
hask Public
Continuation of work on https://github.com/billpmurphy/hask, Haskell language features and standard libraries in pure Python.
-
loria Public
Minetest subgame
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedNov 8, 2024 -
-
piqueserver Public
Forked from piqueserver/piqueserverAn Ace of Spades 0.75 server based on PySnip.
Python GNU General Public License v3.0 UpdatedJul 23, 2024 -
-
lean4-categories Public
Category Theory & Cobordism Categories in Lean 4
-
gnustep-embed Public
Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt
-
anders Public
Anders: Cubical Type Checker
-
-
nodeverse Public
Forked from aerkiaga/nodeverseA procedurally generated space exploration game for the Minetest voxel game engine
Lua GNU General Public License v3.0 UpdatedAug 7, 2023 -
-
bravo Public
Castle Bravo: Experimental HoTT Implementation
-
-
-
-
-
general-recursive-functions Public
Toy point free language implementing GRF
-
romeo Public
Castle Romeo: Experimental Theorem Prover for Category Theory
-
{{ message }}