mercury
Logic compiler
A language and compiler that combines logic and functional programming with static analysis and error detection features.
The Mercury logic programming system.
914 stars
37 watching
55 forks
Language: Mercury
last commit: 2 months ago Related projects:
Repository | Description | Stars |
---|---|---|
| A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
| A programming language being developed with Rust, aiming to implement compiler and interpreter components. | 42 |
| An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
| An interpreted functional programming language with type inference and efficient parsing. | 389 |
| An implementation of a custom programming language with features such as compilation and execution capabilities. | 45 |
| A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
| A high-performance programming language with compile-time evaluation and metaprogramming capabilities. | 122 |
| A low-level language designed to compile to the Uxn virtual machine for creating simple graphical programs. | 46 |
| A language targeting LLVM with the goal of building a simple compiler | 64 |
| A compiler and runtime environment for a simple yet powerful programming language with consistent syntax balancing simplicity and type safety. | 19 |
| A compiler that integrates the GRIN backend with GHC to compile functional programming languages. | 144 |
| A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 621 |
| A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
| A compiler that translates code written in Gren into machine code or another target language. | 398 |
| A compiler-based implementation of a minimalist logic programming language | 220 |