Alternatives and similar repositories for argon:

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

• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• David-Durst / aetherling
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆12Updated 4 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• TiarkRompf / lms-clean
  ☆55Updated last year
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last week
• epfldata / dbstage
  ☆15Updated 4 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆20Updated 5 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• Feldspar / feldspar-language
  The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…
  ☆45Updated 3 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• GaloisInc / grift
  Galois RISC-V ISA Formal Tools
  ☆57Updated last year
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• stganser / polyite
  Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model
  ☆12Updated 5 years ago
• ku-fpg / kansas-lava
  Kansas Lava
  ☆46Updated 5 years ago
• stanford-ppl / pir
  ☆15Updated 2 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated last year
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• David-Durst / embeddedHaskellAetherling
  ☆25Updated 2 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated last month
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 2 months ago