DoctorRyner / gimelLinks
A PureScript UI library built upon the react
☆10Updated 3 years ago
Alternatives and similar repositories for gimel
Users that are interested in gimel are comparing it to the libraries listed below
Sorting:
- C++ foreign export implementations for the standard library☆22Updated 6 years ago
- A simple build system for Idris☆22Updated 4 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated last year
- Incremental lambda calculus☆81Updated 6 years ago
- Kotlin-backend for PureScript☆80Updated 3 years ago
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- Canvas bindings for PureScript☆55Updated last year
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 7 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- 🧊 Інститут формальної математики☆35Updated last month
- A wrapper for Node's HTTP APIs☆40Updated 2 years ago
- Type-safe ORM for PureScript☆30Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆71Updated 7 months ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.☆33Updated 6 years ago
- ☆97Updated 5 years ago
- Comprehensive framework to build network actors and distributed applications☆24Updated 6 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Quick HTTP servers☆60Updated 7 years ago
- A type class which captures stack-safe monadic tail recursion☆38Updated 3 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Unison Codebase UI☆46Updated 3 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 7 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Updated 4 years ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- Js libraries for idris☆49Updated 5 years ago
- A test framework for Idris☆55Updated 6 years ago
- Array utility functions☆57Updated last year
- A data structure for drawings☆46Updated 6 years ago
- Purely functional UI library powered by FRP.☆81Updated 5 years ago