Frege REPL + editor on Android
☆13Oct 15, 2018Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 19, 2017Updated 8 years ago
- QuickLift frontend in PureScript☆15Mar 25, 2016Updated 10 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Emchipten — Compile your CHIP-8 into WebAssembly binaries!☆21Sep 26, 2017Updated 8 years ago
- Port of the 'host' example in try-reflex to FLTKHS.☆12Aug 26, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- align ghcjs with stack☆11Nov 30, 2016Updated 9 years ago
- Purely functional cloud provisioner☆22Jan 25, 2019Updated 7 years ago
- Concise Haskell reference☆12Mar 22, 2018Updated 8 years ago
- A PureScript prelude with more features.☆30Aug 5, 2017Updated 8 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- An extremely simple static blog generator made in Haskell☆21Jul 29, 2022Updated 3 years ago
- A library for using the Frege programming language in Android development.☆108Jun 11, 2026Updated last month
- Sample project demonstrating how to create a basic Kotlin compiler plugin.☆27Apr 30, 2017Updated 9 years ago
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- Skeleton project that builds with any of the three major build tools.☆15Dec 4, 2016Updated 9 years ago
- A PureScript interface to React Native☆31Dec 26, 2018Updated 7 years ago
- Seamless calls of Haskell code from JavaScript modules☆40Jul 13, 2016Updated 10 years ago
- ☆32Aug 19, 2023Updated 2 years ago
- 2048 game clone using Yampa FRP library☆29Jul 25, 2018Updated 7 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26Aug 31, 2020Updated 5 years ago
- ☆20Apr 11, 2018Updated 8 years ago
- ☆22Jul 10, 2017Updated 9 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆16May 11, 2019Updated 7 years ago
- Delightful, virtualized modern infinite scroller 🎉☆24Jan 4, 2023Updated 3 years ago
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 3 years ago
- A minimal host for sdl2 based reflex apps.☆29Aug 21, 2024Updated last year
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- GHCJS widgets for reflex-dom and material bootstrap☆10Jan 11, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 9 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- Type-Level Routing for PureScript☆42Jun 22, 2020Updated 6 years ago
- Stack Builders Tutorials.☆70Aug 26, 2022Updated 3 years ago
- An abstraction on top of purescript-signal, for avoiding Channels☆15Apr 11, 2017Updated 9 years ago
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Updated this week