jlouis/av-prog jlouis/av-prog

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • Created over 15 years ago
  • Updated over 15 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jlouis/av-prog
github

jlouis

Reviews

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

Repository Details

Advanced programming course hacking on ICFP 2006

More Repositories

1

fuse

A Circuit Breaker for Erlang
Erlang
501
star
2

graphql-erlang

GraphQL implementation in Erlang.
Erlang
312
star
3

etorrent

Erlang Bittorrent Client
Erlang
295
star
4

safetyvalve

A safety valve for your erlang node
Erlang
257
star
5

combinatorrent

A bittorrent client written in Haskell
Haskell
233
star
6

enacl

Erlang bindings for NaCl / libsodium
Erlang
189
star
7

dht

DHT implementation in Erlang
Erlang
123
star
8

eministat

Port of Poul-Henning Kamp's ministat to the Erlang world
Erlang
99
star
9

plan9-setup

My Plan9 Files for configuration of plan 9 from user space
Shell
94
star
10

turtle

A wrapper on the RabbitMQ Erlang Client (Erlang)
Erlang
71
star
11

erl-lenses

Lens implementation in Erlang
Erlang
67
star
12

graphql-erlang-tutorial

A tutorial for the graphql-erlang system
JavaScript
58
star
13

erlangnode

Run an OCaml program as an erlang node
OCaml
29
star
14

rlimit

Magnus Klaar's rate limiter code from etorrent
Erlang
26
star
15

erlang-utp

uTP implementation in Erlang
Erlang
23
star
16

etorrent_core

Core application in the etorrent subsystem.
Erlang
23
star
17

curve_tun

TCP tunnels secured by Curve25519
Erlang
19
star
18

forge

Melt unstructured data and cast it with structure
Erlang
18
star
19

maps_eqc

EQC tests for maps
Erlang
14
star
20

transit-ocaml

The Transit format in OCaml
OCaml
13
star
21

erl-glicko2

Glicko 2 ranking for Erlang
Erlang
13
star
22

positive

Check if a term is positive
Erlang
13
star
23

go-challenge-1

The 1st Golang challenge in Erlang
Erlang
11
star
24

jlouis-emacs-conf

My Emacs Configuration.
Emacs Lisp
10
star
25

eqc_lib

Erlang QuickCheck common library functions
Erlang
9
star
26

erlfmt

Formatting of Erlang terms from the command line
Erlang
6
star
27

glicko2

Glicko 2 computations in Go
Go
6
star
28

glocko2

Go implementation of the glicko2 calculations
Go
5
star
29

erl-webstuff

Various Utilities for web processing
Erlang
5
star
30

eventi

A (experimental) venti implementation in Erlang.
Erlang
5
star
31

nmoptim

Nelder-Mead optimization heuristic in Go
Go
4
star
32

ident

Go ident client library
Go
3
star
33

bench-map

Benchmarks of Erlang maps
Erlang
3
star
34

mylittlepony

Pony is an experimental ircd in Erlang.
Shell
3
star
35

meganalysis-erlang

An Erlang implementation of the meganalysis project
Erlang
3
star
36

dotfiles

My dotfiles
2
star
37

o-glicko2

Ocaml Glicko2 implementation
OCaml
2
star
38

janus-formalization

My (planned) graduate project on invertible computation.
Verilog
2
star
39

disque_eqc

QuickCheck model for discque
Erlang
2
star
40

corona

Various tools for processing COVID-19 data sets
R
2
star
41

jlouis-vimrc

Vim configuration files
Vim Script
2
star
42

jlouis-tvm

Formalization of virtual machines. Master project.
C
1
star
43

covid-19-stats-dk

Covid-19 statistics for Denmark
R
1
star
44

rank

Rank Quake Live games in Go
Go
1
star