hwayne / tla-graphing-demo

Related projects: ⓘ

• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆21Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆24Updated 11 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 2 months ago
• samsquire / preemptible-thread
  ☆22Updated this week
• IBMStreams / OSStreams
  Open-source, Cloud-native Streams
  ☆12Updated 3 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆22Updated 3 weeks ago
• HnimNart / deeplearning
  ☆54Updated 3 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆9Updated 5 months ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 years ago
• muromec / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆25Updated last week
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated 6 months ago
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• decentralized-hse / collab-edit
  ☆25Updated this week
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 2 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆43Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆39Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆22Updated 3 years ago
• robsimmons / dusa
  A petrifyingly good logic programming language
  ☆26Updated last week
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆22Updated 3 weeks ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• MaterializeInc / tb
  Tail the Binlog of a database
  ☆15Updated 2 years ago
• harp-lab / gdlog
  ☆62Updated 3 months ago
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 5 years ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆26Updated last year