topshell-language / topshell
TopShell - a purely functional, reactive scripting language
☆479Updated 3 years ago
Alternatives and similar repositories for topshell:
Users that are interested in topshell are comparing it to the libraries listed below
- Compiler for the Mirth programming language.☆461Updated this week
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Functional programming with fewer indirections☆760Updated 4 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- Fast & simple framework for building web applications☆297Updated 2 months ago
- A programming language with static memory management based on λ-calculus☆996Updated 2 weeks ago
- The compiler for Keli☆173Updated 5 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆635Updated 2 years ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 10 months ago
- The video editor built for screencasters☆432Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- An unusual Web UI Framework for Haskell☆305Updated 4 years ago
- Functional language with intensional polymorphism and first-class staging.☆929Updated 3 weeks ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- A multi-syntax functional programming language that compiles to WebAssembly.☆619Updated 3 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,169Updated 11 months ago
- Extremely modular text editor built in Haskell☆621Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆608Updated last month
- A ready-to-fork interpreted functional language with type inference☆391Updated last year
- An ML-like functional programming language☆333Updated 3 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- A statically typed concatenative systems programming language.☆1,116Updated last year
- A functional programming language based on algebraic effect handlers☆869Updated 6 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated last year
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- Improve your shell by making it functional through Haskell! (An update to Awkward)☆291Updated 3 years ago
- A visual Haskell☆723Updated 3 years ago
- - The Haskell code editor focused on interactive development.☆352Updated 7 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- Project: M36 Relational Algebra Engine☆918Updated 3 weeks ago