topshell-language / topshellLinks
TopShell - a purely functional, reactive scripting language
☆479Updated 4 years ago
Alternatives and similar repositories for topshell
Users that are interested in topshell are comparing it to the libraries listed below
Sorting:
- The compiler for Keli☆173Updated 6 years ago
- Compiler for the Mirth programming language.☆480Updated 6 months ago
- A simple expressions language with polymorphic extensible row types.☆304Updated 2 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated 2 years ago
- A programming language with static memory management based on λ-calculus☆1,006Updated last month
- Functional programming with fewer indirections☆773Updated 5 years ago
- The video editor built for screencasters☆432Updated 4 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆636Updated 2 years ago
- A multi-syntax functional programming language that compiles to WebAssembly.☆623Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- An unusual Web UI Framework for Haskell☆305Updated 5 years ago
- Pointless: a scripting language for learning and fun☆122Updated 3 weeks ago
- Fast & simple framework for building web applications☆312Updated 2 weeks ago
- A statically typed concatenative systems programming language.☆1,140Updated 2 years ago
- An ML-like functional programming language☆341Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,054Updated 5 months ago
- A functional programming language based on algebraic effect handlers☆893Updated 2 weeks ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆639Updated 3 weeks ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,189Updated last year
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- Links: Linking Theory to Practice for the Web☆348Updated 3 months ago
- The Pyret language.☆1,114Updated last month
- Haskell In New Clothes☆110Updated 5 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆560Updated 2 years ago
- Functional sed for JSON☆473Updated 3 years ago
- Functional language with intensional polymorphism and first-class staging.☆941Updated 2 weeks ago
- A language with lexical effect handlers and lightweight effect polymorphism☆408Updated this week
- Project: M36 Relational Algebra Engine☆938Updated last week
- An interpreter for learning and exploring pure λ-calculus☆463Updated 4 years ago