jamii/shackles jamii/shackles

  • This repository has been archived on 16/Mar/2019
  • Stars
    star
    1
  • Language
    Clojure
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jamii/shackles
github

jamii

Reviews

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

Repository Details

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

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

dissertation

My MSc dissertation 'Design and Analysis of a Gossip Algorithm'
Python
5
star
16

bounded-live-eval

JavaScript
4
star
17

rust-tagless

Rust
4
star
18

monolog

Clojure
3
star
19

neon-dom

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

scampy

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

relational-crdts

Julia
2
star
22

droplet

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

binmap

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

understanding-software-dynamics

HTML
1
star
25

jamii.github.com

HTML
1
star
26

bigcheck.rs

Simple quickcheck clone
Rust
1
star