juvix
Compiler
A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming.
A language for intent-centric and declarative decentralised applications
458 stars
24 watching
53 forks
Language: Haskell
last commit: 1 day ago anomaarithmetic-circuitsfunctional-programmingprivacy-preserving-technologiesprogramming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 17 |
 ainfosec/crema | A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space. | 64 |
 tartanllama/vizh | An esoteric programming language that compiles and links image files to generate C code | 232 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 jserv/amacc | A compiler for the Arm architecture that compiles a subset of C to generate executables and supports just-in-time execution. | 1,018 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 fantasyinternet/poetry | A programming language compiler to WebAssembly with minimalistic syntax and full control over imports and exports. | 55 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
 zeioth/compiler.nvim | Automates compilation and execution of code without requiring manual setup | 529 |
 ajhc/ajhc | A Haskell compiler that aims to improve the performance and efficiency of the language | 134 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 leepike/copilot | A language and toolset for generating hard real-time C code from a domain-specific stream language | 149 |
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
 radian-software/kalyn | A compiler that translates a functional programming language to x86-64 machine code from scratch. | 156 |
 igor84/summus | A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |