A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)
☆21Sep 3, 2021Updated 4 years ago
Alternatives and similar repositories for atlas
Users that are interested in atlas are comparing it to the libraries listed below
Sorting:
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 7 years ago
- Parallel String Graph Construction, Transitive Reduction, and Contig Generation for De Novo Genome Assembly☆16Jun 11, 2024Updated last year
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Oct 24, 2019Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- HarmTrace Base: Parsing and unambiguously representing musical chords☆11Oct 21, 2022Updated 3 years ago
- A graphical EDA tool☆14Jan 9, 2023Updated 3 years ago
- HEOS Web Interface☆11Aug 20, 2020Updated 5 years ago
- Microsoft question-answering dataset☆10Jun 16, 2023Updated 2 years ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- ☆11Oct 19, 2018Updated 7 years ago
- Embed and execute SQL in Markdown☆13Mar 21, 2024Updated last year
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆34Updated this week
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- ☆12Apr 10, 2019Updated 6 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- ☆11Jun 18, 2024Updated last year
- A LNCS template for typst☆15Jan 26, 2026Updated last month
- A text classification and similairty computing project in Python.We have tried wordbag,word2vec,WordMoverDistance,N-gram,LSTM,C-LSTM, LST…☆11May 18, 2019Updated 6 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- ☆12Nov 13, 2025Updated 3 months ago
- Tutorial Apps for Learning R☆18Dec 28, 2017Updated 8 years ago
- ☆23Updated this week
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 3 years ago
- Mutation-guided mutation-based fuzz testing☆51Jul 13, 2024Updated last year
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- ☆10Feb 9, 2019Updated 7 years ago
- ☆12May 20, 2021Updated 4 years ago
- Python Programs for accessing CDISC Library standards.☆11Nov 9, 2019Updated 6 years ago
- An Extempore extension for Visual Studio Code☆12Apr 5, 2021Updated 4 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 8 months ago
- Fable bindings for Office-js☆11Apr 1, 2022Updated 3 years ago
- Semantic Parser with Execution☆13Dec 8, 2017Updated 8 years ago
- ☆11Jul 11, 2023Updated 2 years ago
- See what your sound card is doing in real time☆14Jun 13, 2016Updated 9 years ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated last year
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago