caledon
by mmirman
higher order dependently typed logic programing
AI summary
Conversation language
A programming language for logical and conversational interactions with computers using dependently typed higher order logic.
- stars
- 170
- forks
- 9
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Imperative compiler
Project aimed at demonstrating Haskell can emulate imperative programming characteristics and syntax.
Programming language
A C++ programming language in development with support for various libraries and tools.
Parses languages
A programming language designed to analyze and transform computer languages through grammar-based parsing
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Array language
A language designed to simplify and improve array programming, with a focus on performance and ease of use.
Smalltalk-like language
A Smalltalk-inspired language with goals of elegance, performance, fault tolerance, and multiplatform support.
Research language
An experimental programming language designed to explore the intersection of structural typing, object-oriented programming, and functional programming.
Development Language
A high-performance, statically typed programming language designed to simplify development while maintaining speed.
glouw/rr68
Programming language
A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures.
Compile time language
A statically typed language with compile-time memory management and Python-esque syntax
Concatenative language
A minimal concatenative programming language implemented in Nim.
Conversational interface builder
Builds a Ruby-based messaging platform for creating conversational interfaces with end-users.
Programming language
A procedural concatenative stack-oriented compiled programming language inspired by Lua and Porth.
Language Interpreter
An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem
Featured in 1 awesome list
Each link jumps to the spot where the list mentions caledon.
