jamii/imp jamii/imp

  • This repository has been archived on 05/Dec/2022
  • Stars
    star
    270
  • Rank 152,189 (Top 3 %)
  • Language
    Zig
  • Created over 9 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamii/imp
github

jamii

Reviews

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

Repository Details

Various experiments in relational programming

More Repositories

1

dida

Differential dataflow for mere mortals
Zig
510
star
2

focus

Minimalist text editor
Zig
228
star
3

strucjure

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

jams

Zig
182
star
5

springer-recommendations

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

concerto

Multiplayer clojure!
Clojure
28
star
7

erl-telehash

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

streaming-consistency

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

texsearch

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

hugo-a-go-go

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

mutant

Zig
9
star
12

preimp

Zig
8
star
13

JuliaCon2018

JavaScript
5
star
14

dissertation

My MSc dissertation 'Design and Analysis of a Gossip Algorithm'
Python
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