Projects in Awesome Lists by forked-from-1kasper
A curated list of projects in awesome lists by forked-from-1kasper .
https://github.com/forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
ctt cubical-type-theory homotopy-type-theory hott lean lean4 leanprover math
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/anders
Anders: Cubical Type Checker
ctt cubical-type-theory dependent-type-theory dependent-types homotopy-type-theory hott mltt proof-assistant theorem-prover type-checker type-system
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/lean4-categories
Playing with Category Theory in Lean 4
category-theory lean lean4 leanprover mathematics
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/leanbot
IRC-bot written in Lean (https://leanprover.github.io/)
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/9aout
Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)
Last synced: 14 Apr 2025
https://github.com/forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker univalent-foundations
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/aos-milsim
Kind of Military Simulator Game built upon https://github.com/forked-from-1kasper/piqueserver2
ace-of-spades buildandshoot game pyspades
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/solar
Very simple solar system simulator.
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/dtt-cpp-templates
Dependent Type Theory on C++ Templates
Last synced: 14 Apr 2025
https://github.com/forked-from-1kasper/starfish_prime
Starfish Prime: Lisp Flavoured LCF
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/hypertest
Hyperbolic Minetest-like game
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/romeo
Castle Romeo: Experimental Theorem Prover for Category Theory
category-theory mathematics proof-assistant theorem-prover
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/tigerspades
BetterSpades for PowerPC Mac OS X
Last synced: 22 Mar 2025
https://github.com/forked-from-1kasper/hask
Continuation of work on https://github.com/billpmurphy/hask, Haskell language features and standard libraries in pure Python.
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/general-recursive-functions
Toy point free language implementing GRF
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/lambda
Untyped lambda calculus implemented in Lean
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/melting_point
Some mathematical stuff (in Lean)
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/principia
Principia: Metamath-like Logician Language
formal-languages logic mathematics metamath proof-assistant theorem-prover
Last synced: 23 Apr 2025
https://github.com/forked-from-1kasper/lambda-limbo
Implementation of λ calculus in Limbo
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/gnustep-embed
Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/hrin
An attempt to reinvent the garbage collector
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/herbstluftwm-ocaml
OCaml config for Herbstluftwm
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/hott-with-discontinuity
Experiments in Agda
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/stlc
Experiments with checked by PRINCIPIA type checking
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
dependent-type-theory dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker
Last synced: 24 Feb 2025
https://github.com/forked-from-1kasper/ivy.mike
🧊 Ivy Mike: Cubical Base Library for Arend with definitional Path-β
Last synced: 24 Feb 2025