dannypsnl-fork/typical

This repository has been archived on 01/Feb/2021
Stars
3
Rank 3,963,521 (Top 79 %)
Language
Racket
License
Other
Created almost 4 years ago
Updated almost 4 years ago

dannypsnl-fork/typical

dannypsnl-fork

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

A very simple module's language for theorem proving

code-analyzer

Racket code analysis

re-algo

A simple algorithm developing tool

semi

incr

inductive based on introduction/elimination rules

jsonrpc

jsonrpc: client and server

vessel

DeZero

idris-gtk

Idris2 GTK binding

try_phx

practice Phoenix project

starttt

Start a type theory

kotlin-line-bot-example

compiler-frontend

compiler frontend foundation for manual parsing

Nanopass.jl

Nanopass in Julia

no-lang