topshell-language / topshell
TopShell - a purely functional, reactive scripting language
☆482Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for topshell
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- A functional programming language with static memory management☆841Updated this week
- High-powered REPL for Haskell, inspired by IPython☆337Updated last year
- An unusual Web UI Framework for Haskell☆305Updated 4 years ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- The compiler for Keli☆171Updated 5 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆632Updated last year
- A multi-syntax functional programming language that compiles to WebAssembly.☆620Updated 3 years ago
- The video editor built for screencasters☆429Updated 3 years ago
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- Fast & simple framework for building web applications☆292Updated 3 months ago
- Functional language with intensional polymorphism and first-class staging.☆925Updated 3 weeks ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,166Updated 7 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated this week
- Extremely modular text editor built in Haskell☆616Updated 4 years ago
- lamdu - towards the next generation IDE☆1,852Updated last month
- Functional sed for JSON☆473Updated 2 years ago
- The Mercury logic programming system.☆908Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆553Updated last year
- A functional programming language based on algebraic effect handlers☆863Updated 2 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆700Updated last month
- A prototype successor to Idris☆539Updated 5 years ago
- A fast functional language based on two level type theory☆388Updated last year
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- A ready-to-fork interpreted functional language with type inference☆389Updated 11 months ago
- Industrial-strength monadic parser combinator library☆919Updated this week
- A standard library for Haskell☆843Updated 3 months ago