Discover @forked-from-1kasper Open Source projects

Siegmentation Fault (@forked-from-1kasper)

forked-from-1kasper

Stars
176
Global Rank 136,119 (Top 5 %)
Followers 43
Following 14
Registered about 7 years ago
Most used languages

Lean 22.6 %

OCaml
19.4 %

F#
12.9 %

C
9.7 %

C++
9.7 %

Python
6.5 %

Objective-C
3.2 %

Limbo 3.2 %

Standard ML 3.2 %

Emacs Lisp
3.2 %

TeX
3.2 %

Fennel 3.2 %
Location 🇺🇸 United States
Country Total Rank 38,497
Country Ranking

Fennel 8

Lean 9

Limbo 19

Standard ML 67

OCaml
166

F#
174

Emacs Lisp
1,121

TeX
3,083

C
9,901

ground_zero

Ground Zero: Lean 4 HoTT Library

anders

Anders: Cubical Type Checker

loria

Minetest subgame

lean4-categories

Category Theory & Cobordism Categories in Lean 4

leanbot

IRC-bot written in Lean (https://leanprover.github.io/)

bravo

Castle Bravo: Experimental HoTT Implementation

solar

Very simple solar system simulator.

aos-milsim

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

lean-vcpu

dtt-cpp-templates

Dependent Type Theory on C++ Templates

starfish_prime

Starfish Prime: Lisp Flavoured LCF

emacs-qsharp-mode

GNU/Emacs Q# mode

tigerspades

BetterSpades for PowerPC Mac OS X

9aout

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

hypertest

Hyperbolic Minetest-like game

bachelor-thesis

fennel-vscode

romeo

Castle Romeo: Experimental Theorem Prover for Category Theory

general-recursive-functions

Toy point free language implementing GRF

hask

Continuation of work on https://github.com/billpmurphy/hask, Haskell language features and standard libraries in pure Python.

bump

Lean 4 Package Manager

hrin

An attempt to reinvent the garbage collector

sound-experiments

Sound experiments

lambda-limbo

Implementation of λ calculus in Limbo

fennel-types

principia

Principia: Metamath-like Logician Language

SpiceJack

cubicaltt-vscode

coqbot

IRC‐Bot on Coq. Proof of concept.

melting_point

Some mathematical stuff (in Lean)

halite2

just-another-irc-bot

IRC‐Bot on F#

lambda

Untyped lambda calculus implemented in Lean

gnustep-embed

Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt