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: 2 months ago anomaarithmetic-circuitsfunctional-programmingprivacy-preserving-technologiesprogramming-language
Related projects:
Repository | Description | Stars |
---|---|---|
| A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 17 |
| A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space. | 64 |
| An esoteric programming language that compiles and links image files to generate C code | 232 |
| A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
| A compiler for the Arm architecture that compiles a subset of C to generate executables and supports just-in-time execution. | 1,018 |
| A language targeting LLVM with the goal of building a simple compiler | 64 |
| A programming language compiler to WebAssembly with minimalistic syntax and full control over imports and exports. | 55 |
| A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 279 |
| Automates compilation and execution of code without requiring manual setup | 533 |
| A Haskell compiler that aims to improve the performance and efficiency of the language | 134 |
| A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
| A language and toolset for generating hard real-time C code from a domain-specific stream language | 149 |
| A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
| A compiler that translates a functional programming language to x86-64 machine code from scratch. | 156 |
| A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |