jlouis/maps_eqc

Stars
14
Rank 1,438,076 (Top 29 %)
Language
Erlang
License
Apache License 2.0
Created over 9 years ago
Updated over 6 years ago

jlouis/maps_eqc

jlouis

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

EQC tests for maps

fuse

A Circuit Breaker for Erlang

graphql-erlang

GraphQL implementation in Erlang.

etorrent

Erlang Bittorrent Client

safetyvalve

A safety valve for your erlang node

combinatorrent

A bittorrent client written in Haskell

enacl

Erlang bindings for NaCl / libsodium

dht

DHT implementation in Erlang

eministat

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

plan9-setup

My Plan9 Files for configuration of plan 9 from user space

turtle

A wrapper on the RabbitMQ Erlang Client (Erlang)

erl-lenses

Lens implementation in Erlang

graphql-erlang-tutorial

A tutorial for the graphql-erlang system

erlangnode

Run an OCaml program as an erlang node

rlimit

Magnus Klaar's rate limiter code from etorrent

erlang-utp

uTP implementation in Erlang

etorrent_core

Core application in the etorrent subsystem.

curve_tun

TCP tunnels secured by Curve25519

forge

Melt unstructured data and cast it with structure

transit-ocaml

The Transit format in OCaml

erl-glicko2

Glicko 2 ranking for Erlang

positive

Check if a term is positive

go-challenge-1

The 1st Golang challenge in Erlang

jlouis-emacs-conf

My Emacs Configuration.

eqc_lib

Erlang QuickCheck common library functions

erlfmt

Formatting of Erlang terms from the command line

glicko2

Glicko 2 computations in Go

glocko2

Go implementation of the glicko2 calculations

erl-webstuff

Various Utilities for web processing

eventi

A (experimental) venti implementation in Erlang.

av-prog

Advanced programming course hacking on ICFP 2006

nmoptim

Nelder-Mead optimization heuristic in Go

ident

Go ident client library

bench-map

Benchmarks of Erlang maps

mylittlepony

Pony is an experimental ircd in Erlang.

meganalysis-erlang

An Erlang implementation of the meganalysis project

dotfiles

o-glicko2

Ocaml Glicko2 implementation

janus-formalization

My (planned) graduate project on invertible computation.

disque_eqc

QuickCheck model for discque

corona

Various tools for processing COVID-19 data sets

jlouis-vimrc

Vim configuration files

jlouis-tvm

Formalization of virtual machines. Master project.

covid-19-stats-dk

Covid-19 statistics for Denmark

rank

Rank Quake Live games in Go