lunarcast / lunarbox
Visual functional programming language
☆23Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for lunarbox
- Lambda calculus go brrrr☆28Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- Like APL, but with emojis☆16Updated 2 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- ⚖️ Trial Data Type☆20Updated 5 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Events, behaviors, and uneventful misbehaving☆15Updated 2 months ago
- small programming language. pls be gentle.☆39Updated 2 weeks ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- Wasm library for PureScript☆26Updated 3 months ago
- language verification, construction, and analysis☆20Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 4 months ago
- Simple games implemented in purescript☆15Updated 5 years ago
- A Bash backend for PureScript☆20Updated last year
- Small library for braillizing images☆17Updated 5 years ago
- Stack-based esoteric programming language☆17Updated 5 months ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated 10 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆22Updated last year
- NanoVG Haskell bindings☆22Updated last year
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 3 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 3 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Keli extension for Visual Studio Code☆10Updated 5 years ago
- Rational numbers for PureScript☆13Updated 4 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago