Alternatives and similar repositories for nancy

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

• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆582Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆293Updated last month
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆284Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆181Updated this week
• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆1,077Updated 2 weeks ago
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆138Updated 2 months ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆33Updated 2 years ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆148Updated last month
• rise-lang / mlir
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆32Updated 4 years ago
• xdslproject / xdsl
  A Python compiler design toolkit.
  ☆482Updated this week
• vegaluisjose / reticle
  ☆40Updated 4 years ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆26Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆210Updated this week
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆426Updated 3 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆216Updated last week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆77Updated 2 months ago
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆152Updated 2 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆151Updated 8 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 5 months ago
• GraphBLAS / GraphBLAS-Pointers
  Resources on the GraphBLAS standard for graph algorithms in the language of linear algebra
  ☆201Updated 2 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆73Updated 8 months ago
• hipersys-team / arrow
  [SIGCOMM 2021] ARROW: Restoration-Aware Traffic Engineering
  ☆15Updated 4 years ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆116Updated last week
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆148Updated this week
• sbeamer / gapbs
  GAP Benchmark Suite
  ☆383Updated 11 months ago
• cucapra / filament
  Fearless hardware design
  ☆194Updated 5 months ago
• ucb-bar / autophase
  ☆35Updated 4 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆236Updated 5 years ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆97Updated 2 weeks ago
• GraphIt-DSL / graphit
  GraphIt - A High-Performance Domain Specific Language for Graph Analytics
  ☆385Updated 3 years ago