dannypsnl-fork/incr

This repository has been archived on 01/Feb/2021
Stars
2
Language
Racket
License
Other
Created over 3 years ago
Updated over 3 years ago

dannypsnl-fork/incr

dannypsnl-fork

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

inductive based on introduction/elimination rules

code-analyzer

Racket code analysis

typical

A very simple module's language for theorem proving

semi

re-algo

A simple algorithm developing tool

jsonrpc

jsonrpc: client and server

vessel

DeZero

idris-gtk

Idris2 GTK binding

try_phx

practice Phoenix project

starttt

Start a type theory

compiler-frontend

compiler frontend foundation for manual parsing

kotlin-line-bot-example

Nanopass.jl

Nanopass in Julia

no-lang