jamii

dida

Differential dataflow for mere mortals

focus

Minimalist text editor

imp

Various experiments in relational programming

jams

streaming-consistency

Demonstrations of (in)consistency in various streaming systems.

Blobs.jl

Binary blobs with on-the-fly pointer patching

mutant

preimp

bounded-live-eval

neon-dom

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

droplet

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

relational-crdts

sqlparser

The Materialize SQL parser

jamii.github.com

materialize

The Streaming Data Warehouse

understanding-software-dynamics

zig-honggfuzz

.github

binaryen

Optimizer and compiler/toolchain library for WebAssembly

crate2nix

nix build file generator for rust crates

datafun

Research on integrating datalog & lambda calculus via monotonicity types

h2o

H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server

jamii

mach

Mach is a game engine & graphics toolkit for the future.

nixpkgs

Nix Packages collection

regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

ring-jetty9-adapter

An enhanced version of jetty adapter for ring, with additional features like websockets, http/2 and http/3

rust-nix-patch

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

ZT

A zig based Imgui Application framework