jamii/dissertation jamii/dissertation

  • This repository has been archived on 16/Mar/2019
  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamii/dissertation
github

jamii

Reviews

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

Repository Details

My MSc dissertation 'Design and Analysis of a Gossip Algorithm'

More Repositories

1

dida

Differential dataflow for mere mortals
Zig
510
star
2

imp

Various experiments in relational programming
Zig
270
star
3

focus

Minimalist text editor
Zig
228
star
4

strucjure

A library for doing stuff to other stuff.
Clojure
212
star
5

jams

Zig
182
star
6

springer-recommendations

'People who downloaded this paper also downloaded...'
Python
51
star
7

concerto

Multiplayer clojure!
Clojure
28
star
8

erl-telehash

TeleHash is a p2p overlay that aims to remove the pain from developing p2p applications
Erlang
22
star
9

streaming-consistency

Demonstrations of (in)consistency in various streaming systems.
Java
21
star
10

texsearch

A search index specialised for LaTeX equations. Developed for latexsearch.com.
OCaml
16
star
11

hugo-a-go-go

A go ai for the 2013 clojure cup
Clojure
11
star
12

mutant

Zig
9
star
13

preimp

Zig
8
star
14

JuliaCon2018

JavaScript
5
star
15

bounded-live-eval

JavaScript
4
star
16

rust-tagless

Rust
4
star
17

monolog

Clojure
3
star
18

neon-dom

A minimal example showing how to manipulate the dom from neon in electron.
Rust
3
star
19

scampy

Scampy is an email chatbot designed to engage 419 scammers and distract their attention from real victims.
Python
3
star
20

relational-crdts

Julia
2
star
21

droplet

Datalog in time and space - see http://www.bloom-lang.net
Clojure
2
star
22

binmap

Compact bitmaps based on https://github.com/gritzko/swift/blob/master/doc/binmaps-alenex.pdf
OCaml
2
star
23

understanding-software-dynamics

HTML
1
star
24

jamii.github.com

HTML
1
star
25

shackles

An extensible constraint solver supporting both finite-domain and logic constraints. Just a toy - use core.logic instead
Clojure
1
star
26

bigcheck.rs

Simple quickcheck clone
Rust
1
star