calyx
Compiler framework
An intermediate language and infrastructure for building compilers that generate custom hardware accelerators.
Intermediate Language (IL) for Hardware Accelerator Generators
503 stars
22 watching
51 forks
Language: Rust
last commit: 4 days ago
Linked from 2 awesome lists
compilerfpga-programminghigh-level-synthesisintermediate-languageopen-source-hardware
aolofsson/awesome-opensource-hardware
drom/awesome-hdlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
 siliconcompiler/lambdalib | A modular hardware abstraction library for designing and implementing complex digital systems | 23 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
 champii/rock | A Rust-based compiler and runtime environment designed to provide a safe and efficient way to execute functional programming languages. | 67 |
 eliah-lakhin/lady-deirdre | A framework for building incremental language compilers and analyzers. | 447 |
 querycert/qcert | A framework for developing and verifying domain-specific languages with a focus on compiler correctness and verification. | 56 |
 mustafaquraish/cup | A simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing | 295 |
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
 tyrrrz/clifx | A framework for building command-line interfaces with minimal boilerplate and automatic help generation | 1,514 |
 cxxxr/valtan | A compiler that translates Common Lisp code into JavaScript | 243 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 adambajguz/typin | A framework for building interactive CLI applications with features such as auto-completion, middleware pipelines, and built-in DI support. | 244 |
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 289 |
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 17 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |