Ting-gian LUA

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. typed redis

docker-agda. Agda on Docker

nodejs-hinet-sms. node.js hinet-sms protocol implementation

agda-mode-st3. deprecated

mini-pascal. mini-pascal

ECGF. Elliptic curves over galois fields

relais. Haskell

kern. Minimalistic Node.js client for Redis

bidirectional. bidirectional typing stuff

banacorn.github.com. meine github seite

algorithmus. Rust

evo. Haskell

tube. JavaScript

categories. Learning Category Theory by constructing them in Agda

linear-algebra. Agda

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

nineveh. Source-to-source stylesheet compiler

language-server-mule. Rescript library for hauling language servers from your disk or somewhere else

type-theory. Agda

Graphentheoretische-Paralleler-Algorithmus. Graphentheoretische Paralleler Algorithmus

scorefour. Haskell

keymap. Emacs Lisp

Backbone.cache. localStorage cache for Backbone

evolutionary-computation. i like bacon

dp-trial. Haskell

numeral. TeX