caledon
Conversation language
A programming language for logical and conversational interactions with computers using dependently typed higher order logic.
higher order dependently typed logic programing
170 stars
16 watching
9 forks
Language: Haskell
last commit: over 6 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| mmirman/imperativehaskell | Project aimed at demonstrating Haskell can emulate imperative programming characteristics and syntax. | 73 |
 matthewfl/ilang | A C++ programming language in development with support for various libraries and tools. | 5 |
 phorward/colm | A programming language designed to analyze and transform computer languages through grammar-based parsing | 1 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 mlochbaum/bqn | A language designed to simplify and improve array programming, with a focus on performance and ease of use. | 921 |
 nikodemus/foolang | A Smalltalk-inspired language with goals of elegance, performance, fault tolerance, and multiplatform support. | 37 |
 yairhalberstadt/fluentlang | An experimental programming language designed to explore the intersection of structural typing, object-oriented programming, and functional programming. | 11 |
 1whatleytay/kara | A high-performance, statically typed programming language designed to simplify development while maintaining speed. | 13 |
 glouw/rr | A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures. | 68 |
 aardappel/lobster | A statically typed language with compile-time memory management and Python-esque syntax | 2,309 |
 h3rald/mn | A minimal concatenative programming language implemented in Nim. | 26 |
 muaad/kik | Builds a Ruby-based messaging platform for creating conversational interfaces with end-users. | 7 |
 stonkdragon/scale | A procedural concatenative stack-oriented compiled programming language inspired by Lua and Porth. | 17 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |