GeoQuiz-Frege
GeoQuiz port
Port of the GeoQuiz application from Android to the Frege programming language
A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.
11 stars
4 watching
1 forks
Language: Frege
last commit: over 7 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
mchav/fregeandroid | A proof of concept for running a functional programming language on Android | 6 |
mchav/froid | A library that enables Android development using the Frege programming language | 99 |
mchav/gottlob | A build tool for compiling and running Frege programs. | 0 |
frege/frege-maven-plugin | Supports compilation of frege-lang source code into Java and integration with Apache Maven build tool | 13 |
mignon-p/frege-on-android | An Android project demonstrating how to call code written in Perl from an Android app using the Frege language. | 1 |
frege/fregefx | Bindings and utilities to integrate Frege with JavaFX for building user interfaces. | 33 |
mmhelloworld/hello-play-frege | Demonstrates using Frege with the Play Java web framework to create a simple REST endpoint for JSON input and output. | 20 |
farhanwazir/laravelgooglemaps | Provides an integrated Google Maps solution for Laravel applications. | 153 |
trilogysci/fregeandroid | Provides an interface between the functional programming language Frege and the Android operating system | 14 |
helgeho/hadoopconcatgz | Provides a custom input format for handling concatenated GZIP files in distributed processing systems like Hadoop | 9 |
factual/geo | A Clojure library for working with geohashes, polygons, and other world geometry | 304 |
eleven-lab/laravel-geo | GeoSpatial integration on Laravel 5.2+, supporting MySQL and PostgreSQL databases | 49 |
frege/frege-gradle-plugin | A Gradle plugin for compiling and managing Frege projects | 25 |
paleolimbot/geos | A R API for accessing the GEOS C API to perform geometry operations on vectorized input data. | 62 |
mmadfox/go-geojson2h3 | Utilities for converting between GeoJSON objects and H3 hexagon indexes | 4 |