forked-from-1kasper

Siegmentation Fault's repositories

ground_zero

Ground Zero: Lean 4 HoTT Library

Language:LeanApache-2.042 30

anders

Anders: Cubical Type Checker

Language:OCamlISC18 10

loria

Minetest subgame

Language:FennelGPL-3.018 4 7

lean4-categories

Category Theory & Cobordism Categories in Lean 4

Language:Lean14 20

aos-milsim

Kind of Military Simulator Game built upon https://github.com/piqueserver/piqueserver

Language:PythonGPL-3.06 20

bravo

Castle Bravo: Experimental HoTT Implementation

Language:OCaml6 20

lean-vcpu

Language:Lean5 30

dtt-cpp-templates

Dependent Type Theory on C++ Templates

Language:C++4 20

emacs-qsharp-mode

GNU/Emacs Q# mode

Language:Emacs Lisp4 2 1

starfish_prime

Starfish Prime: Lisp Flavoured LCF

Language:Standard ML4 20

tigerspades

BetterSpades for PowerPC Mac OS X

Language:CGPL-3.04 20

9aout

Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)

Language:C3 20

hypertest

Hyperbolic Minetest-like game

Language:C++GPL-3.03 30

bachelor-thesis

Language:TeX200

fennel-vscode

200

general-recursive-functions

Toy point free language implementing GRF

Language:OCaml2 20

romeo

Castle Romeo: Experimental Theorem Prover for Category Theory

Language:OCaml2 20

gnustep-embed

Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt

Language:Objective-C100

hrin

An attempt to reinvent the garbage collector

Language:C100

lambda-limbo

Implementation of λ calculus in Limbo

Language:Limbo1 20

dotfiles

Language:Lua000

hott-with-discontinuity

Experiments in Agda

Language:Agda000

ivy.mike

🧊 Ivy Mike: Cubical Base Library for Arend with definitional Path-β

000

language-survey

Language:Python000

nodeverse

A procedurally generated space exploration game for the Minetest voxel game engine

Language:LuaGPL-3.0000

piqueclient

Language:Python000

piqueserver

An Ace of Spades 0.75 server based on PySnip.

GPL-3.0000

summer-practice-2nd-year

Language:TeX000

tfmg-tfc

000

tt-ocaml

Language:OCaml020