salt
compilation target
An intermediate language designed to facilitate low-level programming without the burden of manual memory management.
The compilation target that functional programmers always wanted.
62 stars
8 watching
3 forks
Language: Haskell
last commit: over 4 years ago
Linked from 1 awesome list
compilationcompilerfunctionallambda-calculuslanguagelow-leveltarget
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| discus-lang/ddc | An experimental compiler for a statically typed Haskell dialect with computational effects and capabilities | 174 |
 dbohdan/compilers-targeting-c | A list of compilers and transpilers that can generate C code from various programming languages. | 709 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 compiling-to-categories/concat | Compiling to categories involves translating Haskell programs into more expressive mathematical frameworks. | 439 |
 bait-lang/bait | A compiler and runtime environment for a simple yet powerful programming language with consistent syntax balancing simplicity and type safety. | 19 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 146 |
| discus-lang/iron | Formalizations of functional languages with a focus on proof and verification | 142 |
 barn-lang/barn | A simple programming language written in C that is compiled to C. | 53 |
 paf31/dovetail | A tool for building domain-specific languages in Haskell using a PureScript interpreter | 119 |
 axellang/axel | A Haskell + Lisp compiler and runtime environment for executing multi-language code. | 206 |
 bollu/tiny-optimising-compiler | A compiler that translates an imperative programming language into machine code | 157 |
 pointbazaar/espl1000 | A compiler for a statically typed programming language designed for embedded systems, targeting the ATMega328P microcontroller. | 29 |
 mustafaquraish/cup | A simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing | 295 |