jamii/texsearch

This repository has been archived on 16/Mar/2019
Stars
16
Rank 1,311,288 (Top 26 %)
Language
OCaml
License
GNU General Publi...
Created over 13 years ago
Updated over 13 years ago

jamii/texsearch

jamii

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

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

dida

Differential dataflow for mere mortals

imp

Various experiments in relational programming

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.

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