mercury
The Mercury logic programming system.
AI summary
Logic compiler
A language and compiler that combines logic and functional programming with static analysis and error detection features.
- stars
- 914
- forks
- 55
- watching
- 37
Similar projects
Found by comparing what the projects do, not just their names.
System compiler
A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed.
Language compiler
A programming language being developed with Rust, aiming to implement compiler and interpreter components.
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
Language compiler
An interpreted functional programming language with type inference and efficient parsing.
Programming language
An implementation of a custom programming language with features such as compilation and execution capabilities.
Language teaching tool
A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting
Language compiler
A high-performance programming language with compile-time evaluation and metaprogramming capabilities.
Graphical compiler
A low-level language designed to compile to the Uxn virtual machine for creating simple graphical programs.
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Programming lang
A compiler and runtime environment for a simple yet powerful programming language with consistent syntax balancing simplicity and type safety.
Compiler
A compiler that integrates the GRIN backend with GHC to compile functional programming languages.
Compiler
A compiler for a multi-syntax functional programming language that compiles to WebAssembly
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
Compiler
A compiler that translates code written in Gren into machine code or another target language.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
