banacorn/ECGF

Stars
2
Language
C
Created almost 12 years ago
Updated over 11 years ago

banacorn/ECGF

banacorn

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

Elliptic curves over galois fields

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

Backbone.cache

localStorage cache for Backbone

evolutionary-computation

dp-trial

tube

categories

Learning Category Theory by constructing them in Agda

type-theory

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