dmbarbour / awelon
Awelon project is a new UI model with a new language.
☆101Updated 8 years ago
Related projects: ⓘ
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆270Updated 11 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Programming Language meets UI☆51Updated 6 years ago
- ☆51Updated this week
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 5 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- ☆55Updated 7 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- The Omni Programming Language☆34Updated 6 years ago
- Distributed programming language that desugars to Morte☆91Updated 2 years ago
- Crux Programming Language☆51Updated 2 years ago
- miniKanren in the browser☆55Updated 8 years ago
- The Art of the Propagator. See also:☆168Updated 5 months ago
- Implementations of µKanren in assorted languages☆60Updated 8 years ago
- ECMAScript derived programming language☆67Updated 9 years ago
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆157Updated 5 years ago
- Interactive, client-side web apps in Haskell☆149Updated 10 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- A modern tool for literate programming☆272Updated 7 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆58Updated 4 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated last year
- An optimal function evaluator written in JavaScript.☆131Updated 7 years ago