A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.
☆11Apr 25, 2017Updated 8 years ago
Alternatives and similar repositories for GeoQuiz-Frege
Users that are interested in GeoQuiz-Frege are comparing it to the libraries listed below
Sorting:
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- An example of purescript-routing and purescript-halogen☆20Mar 20, 2019Updated 6 years ago
- Frege + database = :-)☆16May 10, 2016Updated 9 years ago
- A library for using the Frege programming language in Android development.☆102Apr 27, 2018Updated 7 years ago
- Converts OData query strings to SQL statements☆25May 19, 2023Updated 2 years ago
- android app example linked with haskell library using android NDK☆32Jul 22, 2016Updated 9 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Aug 21, 2017Updated 8 years ago
- Reactive Programming with PureScript and React☆31Aug 27, 2015Updated 10 years ago
- ☆31Dec 3, 2022Updated 3 years ago
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- Using index.ts file to organize import statements.☆11Mar 15, 2018Updated 7 years ago
- ⌨️ \\ AutoHotkey macro for the game Mighty Omega on Roblox☆19Feb 16, 2025Updated last year
- A repository containing all of my custom keyboards for iOS☆14Jan 2, 2021Updated 5 years ago
- Type-Level Routing for PureScript☆41Jun 22, 2020Updated 5 years ago
- 13th Age system for Foundry VTT☆12Jan 20, 2026Updated last month
- Python T-Digest Module☆10Aug 17, 2015Updated 10 years ago
- Notes and Resources for talk "Redesigning for Cognitive Ease"☆12Nov 15, 2024Updated last year
- ☆14Updated this week
- A server for the wonderful world of Gopher.☆12May 16, 2018Updated 7 years ago
- Editor for the Meris Enzo effect pedal.☆14Jan 21, 2025Updated last year
- For already-build distribution of ZoiaPatchViewer☆11Jan 5, 2023Updated 3 years ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- ARCHIVE: This repository is sunsetted. The new image's repository will be made available later. | Android with pre-installed NDK docker i…☆43Sep 29, 2021Updated 4 years ago
- Android Things user-space PIO☆14May 10, 2018Updated 7 years ago
- New project generator for @thi.ng/hdom TypeScript apps☆17Sep 15, 2019Updated 6 years ago
- Tool that allows the regeneration of integration branches☆21May 14, 2023Updated 2 years ago
- ☆12Feb 5, 2026Updated last month
- Flow compatible runtime type system for IO decoding/encoding☆14Jan 4, 2023Updated 3 years ago
- Document classification with Apache Spark on an American Classic☆10Sep 25, 2015Updated 10 years ago
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- Jenkins plugin for AWS CodeDeploy☆15Oct 18, 2023Updated 2 years ago
- Versatile Quikscript reference.☆12Jan 31, 2024Updated 2 years ago
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 3 years ago
- Temporal versioning demo - Go SDK☆11Mar 22, 2024Updated last year
- Structured output benchmarks comparing DSPy and BAML with different LLMs☆27Dec 23, 2025Updated 2 months ago
- Example of webdriver.io in Docker☆10May 16, 2017Updated 8 years ago
- Inspired by Stefan Goessner's JSONPath http://goessner.net/articles/JsonPath/ with some enhancements☆10Mar 9, 2018Updated 7 years ago
- Generate easy-to-remember, hard-to-guess passwords☆14Mar 31, 2024Updated last year