FregeAndroid
Android runtime
A proof of concept for running a functional programming language on Android
A proof of concept for running Frege on Android
6 stars
4 watching
0 forks
Language: Java
last commit: almost 8 years ago
Linked from 1 awesome list
sfischer13/awesome-fregeRelated projects:
| Repository | Description | Stars |
|---|---|---|
| mchav/froid | A library that enables Android development using the Frege programming language | 100 |
| mchav/geoquiz-frege | Port of the GeoQuiz application from Android to the Frege programming language | 11 |
 trilogysci/fregeandroid | Provides an interface between the functional programming language Frege and the Android operating system | 14 |
| mchav/gottlob | A build tool for compiling and running Frege programs. | 0 |
 frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,642 |
| frege/frege-maven-plugin | Supports compilation of frege-lang source code into Java and integration with Apache Maven build tool | 13 |
| mchav/zwana | An implementation of a simple musical instrument using the Frege programming language and Java MIDI. | 4 |
 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 |
 lulululbj/wanandroid | A Jetpack-based Android project implementing the MVVM architecture using Kotlin and LiveData. | 1,480 |
 android10/frodo | A tool for logging RxJava Observables and Subscribers in Android apps. | 1,474 |
 gabrielemariotti/androiddev | A collection of examples and source code for Android development tutorials | 806 |
 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 |
 fuzzing/mffa | Automatically testing Android media software components for vulnerabilities by feeding malformed media files to them. | 330 |
 pawegio/kandroid | A Kotlin library that provides useful extensions to eliminate boilerplate code in Android development | 896 |
 nativescript/android | A bridge between JavaScript and Android APIs | 530 |