mchav / try-frege-androidLinks
Frege REPL + editor on Android
☆13Updated 7 years ago
Alternatives and similar repositories for try-frege-android
Users that are interested in try-frege-android are comparing it to the libraries listed below
Sorting:
- A library for using the Frege programming language in Android development.☆101Updated 7 years ago
- Refined types☆57Updated 7 years ago
- Cross Platform Haskell console application that should work on iOS and Android☆39Updated 10 years ago
- ☆44Updated 5 years ago
- 2048 game clone using Yampa FRP library☆37Updated 11 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Updated 7 years ago
- RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.☆52Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Rapid prototyping with GHCi☆59Updated 7 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆60Updated 5 years ago
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆32Updated 10 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Updated 7 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 7 years ago
- Declare and access tuple fields with labels☆59Updated 7 years ago
- ☆41Updated 5 years ago
- ☆51Updated 6 months ago
- Raspberry Pi HTTP Interface for GPIO Control☆21Updated 9 years ago
- Kotlin-backend for PureScript☆80Updated 4 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- Deprecated, to be deleted☆11Updated 7 years ago
- Describe Haskell code in GHCi☆72Updated 8 years ago
- Quick example of Eta on Android☆24Updated 8 years ago
- ☆24Updated 9 years ago
- A whirlwind tour of some Haskell design decisions☆22Updated 2 months ago
- Compile Dhall expressions to Cabal files☆101Updated 3 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Updated 2 years ago
- Simplified interface to the GHC API☆22Updated 6 years ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- Incremental lambda calculus☆80Updated 6 years ago