lawvere
by jameshaydon
A categorical programming language with effects
AI summary
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
- stars
- 268
- forks
- 5
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Compiler
Compiling to categories involves translating Haskell programs into more expressive mathematical frameworks.
frege/frege3.6K
Haskell compiler
A Haskell implementation for the JVM with a strong focus on functional programming and type inference.
ajhc/ajhc134
Haskell compiler
A Haskell compiler that aims to improve the performance and efficiency of the language
C compiler
A Haskell library that allows inline C and Objective-C code in Haskell programs
Compiler language
A language targeting LLVM with the goal of building a simple compiler
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
Compiler
A programming language compiler to WebAssembly with minimalistic syntax and full control over imports and exports.
faylang/fay1.3K
Haskell compiler
A programming language that compiles to JavaScript, based on Haskell.
Haskell compiler
Provides tools and exercises for practicing functional programming in Haskell
Compiler
A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications.
Compiler
A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting
anoma/juvix458
Compiler
A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming.
Compiler
A compiler for a multi-syntax functional programming language that compiles to WebAssembly
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Homomorphism compiler
A compiler for homomorphic encryption languages
Featured in 1 awesome list
Each link jumps to the spot where the list mentions lawvere.
