willcrichton / model-js-workspace

Related projects ⓘ

Alternatives and complementary repositories for model-js-workspace

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆36Updated this week
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆41Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 2 weeks ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• harp-lab / gdlog
  ☆75Updated 2 weeks ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 4 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆67Updated last week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated last year
• vmchale / apple
  Apple array system
  ☆54Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆100Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆90Updated 11 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆50Updated this week
• worm-blossom / macromania
  Macro-based string templating.
  ☆20Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆76Updated 3 weeks ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 2 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 5 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆19Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• VictorTaelin / Interaction-Type-Theory
  ☆109Updated 9 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆16Updated 10 months ago