Alternatives and similar repositories for cambria:

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

• bodil / sized-vec
  Rust vectors with type level size
  ☆24Updated 3 years ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆66Updated 2 months ago
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated last year
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆83Updated 6 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆221Updated last year
• Centril / refl
  Provides a Refl encoding in Rust
  ☆69Updated last year
• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• sdleffler / thunk-rs
  Generic lazy evaluation for Rust.
  ☆9Updated 6 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 weeks ago
• andylokandy / comp-rs
  Pure-macro Do notation and List-comprehension for Option, Result and Iterator.
  ☆52Updated 5 years ago
• francisdb / unison-json
  Json ast / parser / printer for unison
  ☆10Updated 4 years ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆14Updated 3 months ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 5 years ago
• nilehmann / liquid-rust
  ☆38Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• estokes / immutable-chunkmap
  Fast cache efficient immutable map for rust
  ☆27Updated 2 months ago
• alexarchambault / mill-native-image
  ☆19Updated 2 months ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated 10 months ago
• Actyx / banyan
  ☆38Updated 8 months ago
• NickSeagull / drahko
  🐲 Boost your efficiency: Make your computer work for you
  ☆14Updated 3 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• mindbeam / unbase
  ☆39Updated 4 years ago
• DavidGregory084 / inc
  Experiments with incremental compiler construction on the JVM
  ☆11Updated 2 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆54Updated 7 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago