hwayne / tla-graphing-demo

Related projects ⓘ

Alternatives and complementary repositories for tla-graphing-demo

• 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
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆43Updated 2 years ago
• muromec / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated last week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated this week
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 8 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• juliusgeo / branchless_bisect
  Beating the `bisect` module's implementation using C-extensions.
  ☆30Updated last year
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆34Updated 7 months ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 7 months ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆28Updated last week
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆14Updated 9 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• triblespace / tribles-rust
  ☆11Updated this week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆20Updated 2 months ago
• IBMStreams / OSStreams
  Open-source, Cloud-native Streams
  ☆12Updated 3 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆85Updated last week
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 4 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆9Updated 7 months ago