jamii / jams

Related projects ⓘ

Alternatives and complementary repositories for jams

• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆116Updated last year
• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆260Updated 7 months ago
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆368Updated 10 months ago
• zaboople / klonk
  A text editor with an sort-of-unusual undo/redo algorithm
  ☆219Updated 3 weeks ago
• eatonphil / lisp-rosetta-stone
  A lisp rosetta stone to demonstrate modern language features
  ☆170Updated 2 years ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆259Updated last year
• billziss-gh / imap
  Integer Map Data Structure
  ☆127Updated last year
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆195Updated 5 months ago
• mkirchner / hamt
  A hash array-mapped trie implementation in C
  ☆283Updated 8 months ago
• thass0 / spray
  A x86_64 Linux debugger 🐛🐛🐛
  ☆230Updated 9 months ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆515Updated 2 years ago
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆187Updated 2 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆256Updated last year
• axiomhq / zig-hyperloglog
  Zig library for HyperLogLog estimation
  ☆86Updated 3 months ago
• rtheunissen / bst
  Exploring the design space of binary search trees
  ☆43Updated 4 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• ronomon / pure
  A static analysis file format checker.
  ☆237Updated 4 years ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆43Updated 4 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• iKevinY / ultra
  Cryptanalysis of the Enigma machine in Rust.
  ☆124Updated 3 years ago
• guregu / php
  Prolog Home Page
  ☆69Updated last month
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆462Updated 6 months ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆90Updated 2 years ago
• pyjarrett / septum
  Context-based code search tool
  ☆378Updated 8 months ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆226Updated 9 months ago
• hashlookup / fleur
  Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.
  ☆117Updated last year
• susam / fxyt
  Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands
  ☆117Updated 2 months ago
• judofyr / spice
  Fine-grained parallelism with sub-nanosecond overhead in Zig
  ☆742Updated last month
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 6 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆75Updated 4 years ago