jamii/imp

This repository has been archived on 05/Dec/2022
Stars
270
Rank 147,220 (Top 3 %)
Language
Zig
Created over 8 years ago
Updated about 2 years ago

jamii/imp

jamii

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

Various experiments in relational programming

See scattered-thoughts.net/#imp_v3 for details.

nix-shell
zig build --help

dida

Differential dataflow for mere mortals

focus

Minimalist text editor

strucjure

A library for doing stuff to other stuff.

jams

springer-recommendations

'People who downloaded this paper also downloaded...'

concerto

Multiplayer clojure!

erl-telehash

TeleHash is a p2p overlay that aims to remove the pain from developing p2p applications

streaming-consistency

Demonstrations of (in)consistency in various streaming systems.

texsearch

A search index specialised for LaTeX equations. Developed for latexsearch.com.

hugo-a-go-go

A go ai for the 2013 clojure cup

mutant

preimp

JuliaCon2018

dissertation

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

bounded-live-eval

rust-tagless

monolog

neon-dom

A minimal example showing how to manipulate the dom from neon in electron.

scampy

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

relational-crdts

droplet

Datalog in time and space - see http://www.bloom-lang.net

binmap

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

understanding-software-dynamics

jamii.github.com

shackles

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

bigcheck.rs

Simple quickcheck clone