poprc
Recursive language compiler
A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation
A Compiler for the Popr Language
242 stars
19 watching
10 forks
Language: C
last commit: almost 4 years ago
Linked from 1 awesome list
compilerconcatenativedependent-typesfunctionalhigh-level-synthesislanguagelinear-logiclogic-programmingnon-deterministicpartial-evaluatorspoprpopr-compilersupercompilerverilog
aalhour/awesome-compilersRelated projects:
| Repository | Description | Stars |
|---|---|---|
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 286 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 388 |
 glossopoeia/boba | A language and compiler for a statically-typed concatenative programming paradigm. | 51 |
 absint/compcert | A formally verified C compiler with guaranteed correct assembly code generation | 1,888 |
 jserv/amacc | A compiler for the Arm architecture that compiles a subset of C to generate executables and supports just-in-time execution. | 1,015 |
| jserv/mazucc | A minimal C compiler generating x86_64 assembly code | 516 |
 pointbazaar/espl1000 | A compiler for a statically typed programming language designed for embedded systems, targeting the ATMega328P microcontroller. | 29 |
 kixiron/crunch-lang | A systems-level language focused on ease of use, portability, and speed, designed to optimize performance and safety. | 52 |
 nickmqb/muon | A modern, statically typed low-level programming language with strong focus on performance and minimalism. | 772 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 147 |
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
 rui314/9cc | A compiler project that compiles C code to x86-64 assembly using an intermediate representation and manual memory management. | 1,825 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 fusionlanguage/fut | Tools and infrastructure to implement reusable components in multiple programming languages from a single codebase. | 1,763 |