forked-from-1kasper/hrin

Stars
1
Language
C
Created 3 months ago
Updated 3 months ago

forked-from-1kasper/hrin

forked-from-1kasper

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An attempt to reinvent the garbage collector

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

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