Pinned Repositories
dida
Differential dataflow for mere mortals
focus
Minimalist text editor
imp
Various experiments in relational programming
jams
springer-recommendations
'People who downloaded this paper also downloaded...'
strucjure
A library for doing stuff to other stuff.
materialize
The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.
tigerbeetle
The financial transactions database designed for mission critical safety and performance.
Eve
Better tools for thought
jamii's Repositories
jamii/dida
Differential dataflow for mere mortals
jamii/focus
Minimalist text editor
jamii/imp
Various experiments in relational programming
jamii/jams
jamii/streaming-consistency
Demonstrations of (in)consistency in various streaming systems.
jamii/mutant
jamii/preimp
jamii/bounded-live-eval
jamii/maps
jamii/understanding-software-dynamics
jamii/droplet
Datalog in time and space - see http://www.bloom-lang.net
jamii/relational-crdts
jamii/sqlparser
The Materialize SQL parser
jamii/jamii.github.com
jamii/materialize
The Streaming Data Warehouse
jamii/zig-honggfuzz
jamii/.github
jamii/baby-2nd-bench
jamii/binaryen
Optimizer and compiler/toolchain library for WebAssembly
jamii/crate2nix
nix build file generator for rust crates
jamii/datafun
Research on integrating datalog & lambda calculus via monotonicity types
jamii/h2o
H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
jamii/jamii
jamii/mach
Mach is a game engine & graphics toolkit for the future.
jamii/nixpkgs
Nix Packages collection
jamii/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
jamii/ring-jetty9-adapter
An enhanced version of jetty adapter for ring, with additional features like websockets, http/2 and http/3
jamii/rust-nix-patch
jamii/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
jamii/ZT
A zig based Imgui Application framework