Siegmentation Fault (forked-from-1kasper)

forked-from-1kasper

Geek Repo

Location:Milky Way, Solar System, Earth

Twitter:@siegment

Github PK Tool:Github PK Tool

Siegmentation Fault's repositories

ground_zero

Ground Zero: Lean 4 HoTT Library

Language:LeanLicense:Apache-2.0Stargazers:47Issues:3Issues:0

anders

Anders: Cubical Type Checker

Language:OCamlLicense:ISCStargazers:18Issues:1Issues:0

loria

Minetest subgame

Language:FennelLicense:GPL-3.0Stargazers:18Issues:4Issues:7

lean4-categories

Category Theory & Cobordism Categories in Lean 4

Language:LeanStargazers:15Issues:2Issues:0

aos-milsim

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

Language:PythonLicense:GPL-3.0Stargazers:6Issues:2Issues:0

bravo

Castle Bravo: Experimental HoTT Implementation

Language:OCamlStargazers:6Issues:2Issues:0
Language:LeanStargazers:5Issues:3Issues:0

9aout

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

Language:CStargazers:4Issues:2Issues:0

dtt-cpp-templates

Dependent Type Theory on C++ Templates

Language:C++Stargazers:4Issues:2Issues:0

emacs-qsharp-mode

GNU/Emacs Q# mode

Language:Emacs LispStargazers:4Issues:2Issues:1

starfish_prime

Starfish Prime: Lisp Flavoured LCF

Language:Standard MLStargazers:4Issues:2Issues:0

tigerspades

BetterSpades for PowerPC Mac OS X

Language:CLicense:GPL-3.0Stargazers:4Issues:2Issues:0

hypertest

Hyperbolic Minetest-like game

Language:C++License:GPL-3.0Stargazers:3Issues:3Issues:0

romeo

Castle Romeo: Experimental Theorem Prover for Category Theory

Language:OCamlStargazers:3Issues:2Issues:0
Language:TeXStargazers:2Issues:0Issues:0

general-recursive-functions

Toy point free language implementing GRF

Language:OCamlStargazers:2Issues:2Issues:0

gnustep-embed

Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt

Language:Objective-CStargazers:1Issues:0Issues:0

hrin

An attempt to reinvent the garbage collector

Language:CStargazers:1Issues:0Issues:0

lambda-limbo

Implementation of λ calculus in Limbo

Language:LimboStargazers:1Issues:2Issues:0

coq

Coq 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 development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0
Language:LuaStargazers:0Issues:0Issues:0

ivy.mike

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

Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0

nodeverse

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

Language:LuaLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

piqueserver

An Ace of Spades 0.75 server based on PySnip.

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:2Issues:0