dannypsnl-fork/starttt dannypsnl-fork/starttt

  • This repository has been archived on 13/Nov/2022
  • Stars
    star
    1
  • Language
    OCaml
  • Created almost 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dannypsnl-fork/starttt
github

dannypsnl-fork

Reviews

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

Repository Details

Start a type theory

More Repositories

1

code-analyzer

Racket code analysis
Racket
4
star
2

typical

A very simple module's language for theorem proving
Racket
3
star
3

semi

Racket
2
star
4

re-algo

A simple algorithm developing tool
Racket
2
star
5

incr

inductive based on introduction/elimination rules
Racket
2
star
6

jsonrpc

jsonrpc: client and server
Racket
2
star
7

vessel

Go
1
star
8

DeZero

Python
1
star
9

idris-gtk

Idris2 GTK binding
Idris
1
star
10

try_phx

practice Phoenix project
Elixir
1
star
11

compiler-frontend

compiler frontend foundation for manual parsing
Racket
1
star
12

kotlin-line-bot-example

Kotlin
1
star
13

Nanopass.jl

Nanopass in Julia
Julia
1
star
14

no-lang

no script
Racket
1
star