• Stars
    star
    1
  • Language
  • Created about 12 years ago
  • Updated over 11 years ago

Reviews

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

Repository Details

meine github seite

More Repositories

1

agda-mode-vscode

agda-mode on VS Code
ReScript
168
star
2

agda-mode

agda-mode on Atom
Reason
58
star
3

socket.io-haskell

socket.io for haskell folks
Haskell
23
star
4

Hakaru-FLOLAC16

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

language-agda

Agda language support for the Atom editor
13
star
6

rescript-vscode

ReScript bindings for the VS Code API
ReScript
13
star
7

formal-language

Curryโ€“Howard Correspondence for fun
Haskell
11
star
8

edis

typed redis
Haskell
5
star
9

docker-agda

Agda on Docker
Dockerfile
4
star
10

nodejs-hinet-sms

node.js hinet-sms protocol implementation
JavaScript
3
star
11

agda-mode-st3

deprecated
Python
3
star
12

mini-pascal

mini-pascal
Haskell
3
star
13

relais

Haskell
2
star
14

kern

Minimalistic Node.js client for Redis
JavaScript
2
star
15

bidirectional

bidirectional typing stuff
Agda
2
star
16

ECGF

Elliptic curves over galois fields
C
2
star
17

Backbone.cache

localStorage cache for Backbone
JavaScript
1
star
18

evolutionary-computation

i like bacon
Haskell
1
star
19

dp-trial

Haskell
1
star
20

tube

JavaScript
1
star
21

categories

Learning Category Theory by constructing them in Agda
Agda
1
star
22

type-theory

Agda
1
star
23

cedar

cedar
JavaScript
1
star
24

keymap

Emacs Lisp
1
star
25

algorithmus

Rust
1
star
26

nineveh

Source-to-source stylesheet compiler
Haskell
1
star
27

numeral

TeX
1
star
28

linear-algebra

Agda
1
star
29

evo

Haskell
1
star
30

Graphentheoretische-Paralleler-Algorithmus

Graphentheoretische Paralleler Algorithmus
Haskell
1
star
31

underscore-injection

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

language-server-mule

Rescript library for hauling language servers from your disk or somewhere else
ReScript
1
star
33

scorefour

Haskell
1
star