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
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- Compiler for the Mirth programming language.☆463Updated this week
- The compiler for Keli☆173Updated 5 years ago
- A programming language with static memory management based on λ-calculus☆996Updated last week
- Functional programming with fewer indirections☆759Updated 4 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆635Updated 2 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- An ML-like functional programming language☆334Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- Programming language agnostic type construction language based on polynomials.☆367Updated 10 months ago
- A statically typed concatenative systems programming language.☆1,118Updated 2 years ago
- A fast functional language based on two level type theory☆390Updated 2 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- Fast & simple framework for building web applications☆298Updated 3 months ago
- Project: M36 Relational Algebra Engine☆929Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆609Updated 3 weeks ago
- An unusual Web UI Framework for Haskell☆305Updated 4 years ago
- A functional programming language based on algebraic effect handlers☆870Updated 7 months ago
- The video editor built for screencasters☆432Updated 4 years ago
- a structured interaction engine 🗜️ ⚗️☆470Updated last year
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- A multi-syntax functional programming language that compiles to WebAssembly.☆620Updated 3 years ago
- Functional language with intensional polymorphism and first-class staging.☆930Updated this week
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆397Updated 2 years ago
- Industrial-strength monadic parser combinator library☆941Updated 2 months ago
- Extremely modular text editor built in Haskell☆622Updated 4 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated last year
- A small extensible programming language designed for concise expression with little code.☆1,066Updated 7 months ago
- Haskell In New Clothes☆111Updated 4 years ago