sinelaw / infernu
Type inference and checking for a safer JavaScript.
☆338Updated 5 years ago
Related projects: ⓘ
- A bare-bones calculus-of-constructions☆373Updated 2 years ago
- Do-notation for JavaScript☆175Updated 7 years ago
- Javascript Parser Combinator Library☆148Updated 9 years ago
- A simple PureScript wrapper for React☆349Updated last year
- A proper subset of Haskell that compiles to JavaScript☆1,285Updated 3 years ago
- A build tool for PureScript projects☆444Updated 2 years ago
- Elm style FRP library for PureScript☆259Updated 2 years ago
- The compiler of the programming language Shem☆392Updated 4 years ago
- Type-safe, statically checked composition of HTTP servers☆282Updated 3 years ago
- Build type-safe web apps with PureScript.☆566Updated last year
- Comparing many FRP implementations by reimplementing the same toy app in each.☆490Updated 2 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆632Updated 3 years ago
- A special-purpose UI library for Purescript☆287Updated 4 years ago
- Algebraic data types for Javascript☆219Updated 10 years ago
- React bindings for Haskell☆351Updated 9 years ago
- Composable kmett style lenses☆213Updated 8 years ago
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- The strongly hyped Haskell interpreter.☆360Updated this week
- ECMAScript derived programming language☆67Updated 9 years ago
- Serious functional programming library for JavaScript.☆592Updated 10 years ago
- An asynchronous effect monad for PureScript☆284Updated last week
- An optimal function evaluator written in JavaScript.☆131Updated 7 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆629Updated last year
- A functional programming language based on algebraic effect handlers☆858Updated last week
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆363Updated last year
- A small strongly typed language that compiles to C++11☆152Updated 5 years ago
- Contract library for JavaScript☆149Updated 9 years ago
- Haskell JIT☆181Updated 4 years ago
- A small JavaScript library for defining and using union types.☆477Updated 5 years ago
- 24 Days of PureScript, 2016☆286Updated last year