urweb / urwebLinks
The Ur/Web programming language
☆818Updated last year
Alternatives and similar repositories for urweb
Users that are interested in urweb are comparing it to the libraries listed below
Sorting:
- A functional programming language based on algebraic effect handlers☆878Updated last week
- A GHC-based Haskell to JavaScript compiler☆1,442Updated 6 years ago
- A proper subset of Haskell that compiles to JavaScript☆1,285Updated 4 years ago
- Another Haskell web framework for rapid development☆679Updated last year
- The Mercury logic programming system.☆956Updated this week
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- A Dependently Typed Functional Programming Language☆3,459Updated 4 months ago
- A statically typed concatenative systems programming language.☆1,122Updated 2 years ago
- Haskell to JavaScript compiler, based on GHC☆2,616Updated 2 years ago
- Liquid Types For Haskell☆1,248Updated last month
- The MLton repository☆1,017Updated 2 weeks ago
- lamdu - towards the next generation IDE☆1,872Updated last month
- Implementations of various type systems in OCaml.☆1,583Updated 9 years ago
- Functional programming with fewer indirections☆765Updated 4 years ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,091Updated last month
- WIP implementation of a Haskell-like Lisp in Racket☆1,177Updated last year
- A declarative, type-safe UI library for PureScript.☆1,564Updated 9 months ago
- Project: M36 Relational Algebra Engine☆930Updated this week
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,891Updated last week
- A monadic parser combinator library☆872Updated last month
- A prototype successor to Idris☆539Updated 6 years ago
- Automatic testing of Haskell programs.☆755Updated 2 weeks ago
- Poly/ML☆505Updated last week
- Haskell IDE☆977Updated last year
- Haskell Web Application Interface☆853Updated last month
- A tasty Haskell front-end framework☆2,271Updated this week
- Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)☆1,746Updated 4 months ago
- Industrial-strength monadic parser combinator library☆945Updated last week
- The Lux Programming Language☆1,708Updated last month
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆635Updated 4 years ago