froid
Android framework
A library that enables Android development using the Frege programming language
A library for using the Frege programming language in Android development.
100 stars
11 watching
4 forks
Language: Frege
last commit: over 6 years ago
Linked from 1 awesome list
androidandroid-developmentfregefrege-programming-languagefunctional-programming
Related projects:
Repository | Description | Stars |
---|---|---|
mchav/fregeandroid | A proof of concept for running a functional programming language on Android | 6 |
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 |
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 |
mmhelloworld/fregelet | A web framework for building simple web applications using Frege on top of Servlet. | 6 |
mchav/gottlob | A build tool for compiling and running Frege programs. | 0 |
frege/fregefx | Bindings and utilities to integrate Frege with JavaFX for building user interfaces. | 33 |
frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,642 |
bootradev/cupcake | An app framework for making small games in Zig. | 18 |
android/android-test | Provides APIs and tools for testing Android apps | 1,161 |
gabrielemariotti/androiddev | A collection of examples and source code for Android development tutorials | 806 |
fuzzing/mffa | Automatically testing Android media software components for vulnerabilities by feeding malformed media files to them. | 330 |
fubark/cosmic | A cross-platform software framework for building graphics-intensive applications using Zig. | 340 |
mchav/zwana | An implementation of a simple musical instrument using the Frege programming language and Java MIDI. | 4 |
frege/frege-maven-plugin | Supports compilation of frege-lang source code into Java and integration with Apache Maven build tool | 13 |