banacorn/type-theory

Stars
1
Language Agda
License
MIT License
Created almost 7 years ago
Updated about 4 years ago

banacorn/type-theory

banacorn

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

agda-mode-vscode

agda-mode on VS Code

agda-mode

agda-mode on Atom

socket.io-haskell

socket.io for haskell folks

Hakaru-FLOLAC16

Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16

language-agda

Agda language support for the Atom editor

rescript-vscode

ReScript bindings for the VS Code API

formal-language

Curry–Howard Correspondence for fun

edis

docker-agda

nodejs-hinet-sms

node.js hinet-sms protocol implementation

agda-mode-st3

mini-pascal

relais

kern

Minimalistic Node.js client for Redis

bidirectional

bidirectional typing stuff

ECGF

Elliptic curves over galois fields

Backbone.cache

localStorage cache for Backbone

evolutionary-computation

dp-trial

tube

categories

Learning Category Theory by constructing them in Agda

cedar

keymap

algorithmus

nineveh

Source-to-source stylesheet compiler

numeral

linear-algebra

evo

banacorn.github.com

meine github seite

Graphentheoretische-Paralleler-Algorithmus

Graphentheoretische Paralleler Algorithmus

underscore-injection

Injects Underscore collection and array goodies right into your Array.prototype

language-server-mule

Rescript library for hauling language servers from your disk or somewhere else

scorefour