Alternatives and similar repositories for atlas-cli

Users that are interested in atlas-cli are comparing it to the libraries listed below

• tenstorrent / luwen
  Tenstorrent system interface library
  ☆32Updated this week
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆51Updated 2 years ago
• IDNI / tau-lang
  ☆82Updated this week
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆40Updated last year
• tenstorrent / tt-smi
  Tenstorrent console based hardware information program
  ☆57Updated this week
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆59Updated 2 weeks ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆43Updated 5 months ago
• sdiehl / usolver
  A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
  ☆60Updated 5 months ago
• tenstorrent / tt-llk
  ☆28Updated last week
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆21Updated last month
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆21Updated 9 months ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆94Updated last month
• nubificus / vaccel
  vAccel is a runtime library that aims to help development of applications using hardware acceleration
  ☆46Updated 2 weeks ago
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆17Updated 6 months ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆56Updated this week
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆36Updated 2 weeks ago
• doomslide / baby-compiler
  It's a baby compiler. (Lean btw.)
  ☆16Updated 6 months ago
• brurucy / materialized-view
  ☆19Updated 6 months ago
• google / gematria
  Machine learning for machine code.
  ☆91Updated last month
• apl-cornell / viaduct
  An extensible compiler for cryptography.
  ☆21Updated 2 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆20Updated last month
• ossf / Memory-Safety
  ☆32Updated 3 months ago
• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆38Updated last year
• DSiSc / why3
  mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…
  ☆12Updated 7 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 6 months ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆114Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆77Updated this week