concat
Compiler
Compiling to categories involves translating Haskell programs into more expressive mathematical frameworks.
Compiling to Categories
437 stars
29 watching
50 forks
Language: Haskell
last commit: 9 months ago
Linked from 1 awesome list
drom/awesome-hdlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 267 |
 ajhc/ajhc | A Haskell compiler that aims to improve the performance and efficiency of the language | 134 |
 haskell-ci/haskell-ci | Generates CI workflows for multiple versions of the Haskell programming language compiler | 438 |
 frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,642 |
 fairfieldt/coffeescript-concat | Utility for preprocessing and concatenating CoffeeScript source files. | 96 |
 g-ford/cradle | Building a compiler in Haskell using a hands-on, top-down approach inspired by the "Let's Build a Compiler" series | 160 |
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 171 |
 discus-lang/salt | An intermediate language designed to facilitate low-level programming without the burden of manual memory management. | 62 |
 haskell-to-elm/haskell-to-elm | Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |
 conal/talk-2015-haskell-to-hardware | A compiler project that translates Haskell programs to hardware instructions for parallel processing on reprogrammable devices. | 58 |
 chrispenner/json-to-haskell | A tool to automatically generate Haskell data types and instances from JSON schema | 82 |
 c2lang/c2compiler | A C compiler written in the C2 language itself. | 704 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 847 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 147 |