lunarcast / lunarboxLinks
Visual functional programming language
☆22Updated last year
Alternatives and similar repositories for lunarbox
Users that are interested in lunarbox are comparing it to the libraries listed below
Sorting:
- Lambda calculus go brrrr☆30Updated 2 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- ⚖️ Trial Data Type☆21Updated 3 months ago
- small programming language. pls be gentle.☆39Updated 2 weeks ago
- Wasm library for PureScript☆28Updated last year
- Events, behaviors, and uneventful misbehaving☆17Updated last year
- Kempe is a compiled stack-based language☆58Updated last year
- Extensible records for Idris☆25Updated 4 years ago
- Small library for braillizing images☆17Updated 6 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Registry of PureScript packages and metadata about them☆47Updated this week
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Updated 2 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated last year
- A JSON schema language☆28Updated 5 months ago
- Rational numbers for PureScript☆13Updated last year
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Updated last year
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 4 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated 2 years ago
- ☆13Updated 6 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Higher order functional programming in PureScript's type system☆44Updated 3 years ago
- Low-level bindings to WebGPU☆15Updated 2 years ago
- Kotlin-backend for PureScript☆79Updated 4 years ago
- A Bash backend for PureScript☆20Updated 2 years ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- C++ foreign export implementations for the standard library☆22Updated 6 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago