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
Sorting:
- Compiler for the Mirth programming language.☆464Updated last week
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- Functional programming with fewer indirections☆765Updated 4 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆635Updated 2 years ago
- The compiler for Keli☆173Updated 6 years ago
- An unusual Web UI Framework for Haskell☆306Updated 4 years ago
- The video editor built for screencasters☆431Updated 4 years ago
- High-powered REPL for Haskell, inspired by IPython☆338Updated last year
- Fast & simple framework for building web applications☆299Updated this week
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- A programming language with static memory management based on λ-calculus☆1,002Updated this week
- A statically typed concatenative systems programming language.☆1,120Updated 2 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated 2 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Project: M36 Relational Algebra Engine☆929Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆616Updated last week
- Functional language with intensional polymorphism and first-class staging.☆932Updated 2 weeks ago
- A functional programming language based on algebraic effect handlers☆873Updated 8 months ago
- Programming language agnostic type construction language based on polynomials.☆368Updated 11 months ago
- Functional sed for JSON☆472Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated 2 years ago
- Extremely modular text editor built in Haskell☆622Updated 4 years ago
- A multi-syntax functional programming language that compiles to WebAssembly.☆622Updated 3 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- An ML-like functional programming language☆334Updated 3 years ago
- A visual Haskell☆725Updated 3 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- An Elm-inspired language that transpiles to TypeScript☆382Updated last year
- A type-safe, high-level SQL library for Haskell☆478Updated 11 months ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆711Updated 6 months ago