Xtext project to parse CoreDSL files
☆23Apr 29, 2026Updated 3 weeks ago
Alternatives and similar repositories for CoreDSL
Users that are interested in CoreDSL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization☆26Mar 29, 2026Updated last month
- TUM EI7402 SystemC laboratory assignments☆11Aug 10, 2021Updated 4 years ago
- Tool for the deployment and analysis of TinyML applications on TFLM and MicroTVM backends☆34Updated this week
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- 这是一个针对所有人的C编程教程。This is a C programming tutorial for real beginningers.☆10Oct 29, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Online documentation can be found at https://minres.github.io/SCViewer/☆21Apr 10, 2026Updated last month
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 4 years ago
- Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)☆16May 6, 2026Updated 2 weeks ago
- An Open-Source SCAlable Interface for ISA Extensionsfor RISC-V Processors. New Version:☆17Feb 29, 2024Updated 2 years ago
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆56May 26, 2025Updated 11 months ago
- ☆16Sep 14, 2023Updated 2 years ago
- A compact, configurable RISC-V core☆13Jul 31, 2025Updated 9 months ago
- crow of judgement, weighing student compiler submissions☆16Jul 8, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Nuclei AI Library Optimized For RISC-V Vector☆15Oct 15, 2025Updated 7 months ago
- ☆20Mar 4, 2026Updated 2 months ago
- Administrative repository for the Integrated Matrix Extension Task Group☆36Apr 25, 2026Updated 3 weeks ago
- Library of example SystemC/TLM peripherals for various SoCs based on the SCS library☆15Updated this week
- ☆21Jul 18, 2021Updated 4 years ago
- ☆28Aug 28, 2024Updated last year
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆16Feb 5, 2025Updated last year
- Yet another implementation of TI C6x DSP simulator☆11Jan 16, 2014Updated 12 years ago
- ☆15May 7, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆87Updated this week
- ☆24Apr 12, 2026Updated last month
- Driving Snax with MLIR☆21Apr 22, 2026Updated 3 weeks ago
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- ☆18Jul 26, 2024Updated last year
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Jul 6, 2017Updated 8 years ago
- ☆33Jan 7, 2025Updated last year
- Adding quality checks and confounds computation steps to fmriprep for stroke data.☆15Apr 14, 2026Updated last month
- ET Accelerator Firmware and Runtime☆43May 8, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Dec 17, 2025Updated 5 months ago
- Verilog implementation of RISC-V: RV32IAC plus much of B. 32-bit or 16-bit bus.☆19Jul 29, 2021Updated 4 years ago
- A git subcommand to apply skeleton repository continuously☆15Apr 2, 2026Updated last month
- Open-source implementations of reference Physical True Random Number Generators (TRNG or PTRNG) based on ring oscillators.☆17Mar 26, 2026Updated last month
- Colorscheme for vim using the KIT color palette☆17Sep 17, 2023Updated 2 years ago
- Helper of yaml file generation from single master yaml file.☆10Mar 17, 2020Updated 6 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 years ago