forked-from-1kasper/dtt-cpp-templates forked-from-1kasper/dtt-cpp-templates

  • Stars
    star
    4
  • Rank 3,303,831 (Top 66 %)
  • Language
    C++
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
forked-from-1kasper/dtt-cpp-templates
github

forked-from-1kasper

Reviews

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

Repository Details

Dependent Type Theory on C++ Templates

More Repositories

1

ground_zero

Ground Zero: Lean 4 HoTT Library
Lean
41
star
2

anders

Anders: Cubical Type Checker
OCaml
18
star
3

loria

Minetest subgame
Fennel
18
star
4

lean4-categories

Category Theory & Cobordism Categories in Lean 4
Lean
14
star
5

leanbot

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

bravo

Castle Bravo: Experimental HoTT Implementation
OCaml
6
star
7

solar

Very simple solar system simulator.
F#
6
star
8

aos-milsim

Kind of Military Simulator Game built upon https://github.com/piqueserver/piqueserver
Python
6
star
9

lean-vcpu

Lean
5
star
10

starfish_prime

Starfish Prime: Lisp Flavoured LCF
Standard ML
4
star
11

emacs-qsharp-mode

GNU/Emacs Q# mode
Emacs Lisp
4
star
12

tigerspades

BetterSpades for PowerPC Mac OS X
C
4
star
13

9aout

Running native amd64 Plan 9 binaries through Syscall User Dispatch (Linux 5.11+)
C
3
star
14

hypertest

Hyperbolic Minetest-like game
C++
3
star
15

bachelor-thesis

TeX
2
star
16

fennel-vscode

2
star
17

romeo

Castle Romeo: Experimental Theorem Prover for Category Theory
OCaml
2
star
18

general-recursive-functions

Toy point free language implementing GRF
OCaml
2
star
19

hask

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

bump

Lean 4 Package Manager
Lean
1
star
21

hrin

An attempt to reinvent the garbage collector
C
1
star
22

sound-experiments

Sound experiments
OCaml
1
star
23

lambda-limbo

Implementation of λ calculus in Limbo
Limbo
1
star
24

fennel-types

1
star
25

principia

Principia: Metamath-like Logician Language
OCaml
1
star
26

SpiceJack

F#
1
star
27

cubicaltt-vscode

1
star
28

coqbot

IRC‐Bot on Coq. Proof of concept.
F#
1
star
29

melting_point

Some mathematical stuff (in Lean)
Lean
1
star
30

halite2

C++
1
star
31

just-another-irc-bot

IRC‐Bot on F#
F#
1
star
32

lambda

Untyped lambda calculus implemented in Lean
Lean
1
star
33

gnustep-embed

Lightweight GNUstep/Cocoa wrapper for XTerm/Rxvt
Objective-C
1
star