There are no reviews yet. Be the first to send feedback to the community and the maintainers!
agda-mode-vscode
agda-mode on VS Codeagda-mode
agda-mode on Atomsocket.io-haskell
socket.io for haskell folksHakaru-FLOLAC16
Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16language-agda
Agda language support for the Atom editorrescript-vscode
ReScript bindings for the VS Code APIformal-language
CurryโHoward Correspondence for funedis
typed redisdocker-agda
Agda on Dockernodejs-hinet-sms
node.js hinet-sms protocol implementationagda-mode-st3
deprecatedmini-pascal
mini-pascalrelais
kern
Minimalistic Node.js client for Redisbidirectional
bidirectional typing stuffECGF
Elliptic curves over galois fieldsBackbone.cache
localStorage cache for Backboneevolutionary-computation
i like bacondp-trial
tube
categories
Learning Category Theory by constructing them in Agdatype-theory
cedar
cedarkeymap
algorithmus
nineveh
Source-to-source stylesheet compilernumeral
linear-algebra
evo
Graphentheoretische-Paralleler-Algorithmus
Graphentheoretische Paralleler Algorithmusunderscore-injection
Injects Underscore collection and array goodies right into your Array.prototypelanguage-server-mule
Rescript library for hauling language servers from your disk or somewhere elsescorefour
Love Open Source and this site? Check out how you can help us