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: almost 2 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 247 |
 azur1s/holymer | A programming language being developed with Rust, aiming to implement compiler and interpreter components. | 42 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 389 |
 bradford-hamilton/monkey-lang | An implementation of a custom programming language with features such as compilation and execution capabilities. | 45 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 basilteam/basil | A high-performance programming language with compile-time evaluation and metaprogramming capabilities. | 122 |
 hparker/dotal | A low-level language designed to compile to the Uxn virtual machine for creating simple graphical programs. | 46 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 bait-lang/bait | A compiler and runtime environment for a simple yet powerful programming language with consistent syntax balancing simplicity and type safety. | 19 |
 grin-compiler/ghc-grin | A compiler that integrates the GRIN backend with GHC to compile functional programming languages. | 144 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 621 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 268 |
 gren-lang/compiler | A compiler that translates code written in Gren into machine code or another target language. | 398 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |