trilogysci / FregeAndroidLinks
Frege interface to Android
☆14Updated 10 years ago
Alternatives and similar repositories for FregeAndroid
Users that are interested in FregeAndroid are comparing it to the libraries listed below
Sorting:
- A library for using the Frege programming language in Android development.☆102Updated 7 years ago
- A Idris Mode for Atom.io☆102Updated last year
- ☆92Updated 10 years ago
- A free monad interface to the canvas☆13Updated 8 years ago
- Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.☆158Updated 4 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- A small strongly typed language that compiles to C++11☆152Updated 6 years ago
- refine properties for testing Haskell programs☆76Updated 10 months ago
- An asynchronous effect monad for PureScript☆286Updated last year
- A small web programming library on top of reactive-banana and virtual-dom☆79Updated 10 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆138Updated 4 years ago
- Utility monad stack to be used in servant☆47Updated 8 years ago
- This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolo…☆180Updated last year
- Simple example to illustrate how to use persistent and servant in combination.☆81Updated 7 years ago
- Bare bones, type-safe EDSL for SQL queries on persistent backends.☆179Updated 9 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- PureScript UI framework based on lenses.☆122Updated 9 years ago
- A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols☆147Updated 5 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Haskell bindings to the Slack RTM API☆67Updated 2 years ago
- A full-stack Haskell web application starter project.☆43Updated 8 years ago
- An Sublime Text IDE for Haskell based on stack-ide☆27Updated 10 years ago
- ☆99Updated 2 months ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- A simple push-pull FRP implementation☆131Updated 5 years ago
- Typed and composable spreadsheets☆185Updated 3 years ago
- A typeclass-based Prelude.☆109Updated 9 years ago
- Specify Servant routes with records☆87Updated 7 years ago
- Moved to https://codeberg.org/jyri-matti/hseverywhere☆57Updated 8 months ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Updated 6 years ago