forked-from-1kasper/halite2 forked-from-1kasper/halite2

  • Stars
    star
    1
  • Language
    C++
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
forked-from-1kasper/halite2
github

forked-from-1kasper

Reviews

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

Repository Details

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

dtt-cpp-templates

Dependent Type Theory on C++ Templates
C++
4
star
11

starfish_prime

Starfish Prime: Lisp Flavoured LCF
Standard ML
4
star
12

emacs-qsharp-mode

GNU/Emacs Q# mode
Emacs Lisp
4
star
13

tigerspades

BetterSpades for PowerPC Mac OS X
C
4
star
14

9aout

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

hypertest

Hyperbolic Minetest-like game
C++
3
star
16

bachelor-thesis

TeX
2
star
17

fennel-vscode

2
star
18

romeo

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

general-recursive-functions

Toy point free language implementing GRF
OCaml
2
star
20

hask

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

bump

Lean 4 Package Manager
Lean
1
star
22

hrin

An attempt to reinvent the garbage collector
C
1
star
23

sound-experiments

Sound experiments
OCaml
1
star
24

lambda-limbo

Implementation of λ calculus in Limbo
Limbo
1
star
25

fennel-types

1
star
26

principia

Principia: Metamath-like Logician Language
OCaml
1
star
27

SpiceJack

F#
1
star
28

cubicaltt-vscode

1
star
29

coqbot

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

melting_point

Some mathematical stuff (in Lean)
Lean
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