Alternatives and similar repositories for daedalus

Users that are interested in daedalus are comparing it to the libraries listed below

• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆171Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated last week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆41Updated last week
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆74Updated 3 weeks ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆36Updated last week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆77Updated last week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 5 months ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆292Updated last week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated 2 weeks ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆47Updated 4 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 weeks ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆110Updated 2 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated 3 weeks ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Updated 2 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 4 months ago
• nilehmann / liquid-rust
  ☆37Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆92Updated 2 weeks ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆129Updated 2 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆172Updated last week