ddc
Compiler
An experimental compiler for a statically typed Haskell dialect with computational effects and capabilities
The Disco Discus Compiler
174 stars
25 watching
19 forks
Language: Haskell
last commit: about 6 years ago
Linked from 1 awesome list
capabilitiescompilereffectsexperimentalfunctionallanguageregions
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| discus-lang/salt | An intermediate language designed to facilitate low-level programming without the burden of manual memory management. | 62 |
 g-ford/cradle | Building a compiler in Haskell using a hands-on, top-down approach inspired by the "Let's Build a Compiler" series | 161 |
 draco-lang/compiler | A C# compiler project for a new .NET programming language. | 106 |
 snazzy-d/sdc | A compiler for the D programming language with advanced features. | 250 |
 ldc-developers/ldc | A compiler that translates the D programming language into machine code using LLVM | 1,221 |
 dbohdan/compilers-targeting-c | A list of compilers and transpilers that can generate C code from various programming languages. | 709 |
 haskell-ci/haskell-ci | Generates CI workflows for multiple versions of the Haskell programming language compiler | 438 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 146 |
 ajhc/ajhc | A Haskell compiler that aims to improve the performance and efficiency of the language | 134 |
 gren-lang/compiler | A compiler that translates code written in Gren into machine code or another target language. | 398 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
| discus-lang/iron | Formalizations of functional languages with a focus on proof and verification | 142 |
 compiling-to-categories/concat | Compiling to categories involves translating Haskell programs into more expressive mathematical frameworks. | 439 |
 bydriv/mhc | A minimal implementation of a Haskell compiler | 63 |
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 172 |