lawvere
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
A categorical programming language with effects
268 stars
13 watching
5 forks
Language: Haskell
last commit: over 3 years agoLinked from 1 awesome list
category-theorycompilereffectsinterpreterprogramming-language
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 compiling-to-categories/concat | Compiling to categories involves translating Haskell programs into more expressive mathematical frameworks. | 439 |
 frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,640 |
 ajhc/ajhc | A Haskell compiler that aims to improve the performance and efficiency of the language | 134 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 146 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 fantasyinternet/poetry | A programming language compiler to WebAssembly with minimalistic syntax and full control over imports and exports. | 55 |
 faylang/fay | A programming language that compiles to JavaScript, based on Haskell. | 1,283 |
 1haskelladay/1had | Provides tools and exercises for practicing functional programming in Haskell | 118 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
 vmchale/kempe | A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |
 anoma/juvix | A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming. | 458 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 621 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 cpeikert/alchemy | A compiler for homomorphic encryption languages | 66 |