Open-Awesome
CategoriesAlternativesStacksSelf-HostedExplore
Open-Awesome

© 2026 Open-Awesome. Curated for the developer elite.

TermsPrivacyAboutGitHubRSS
  1. Home
  2. Frege
  3. froid

froid

Frege

A library for using the Frege programming language in Android development.

GitHubGitHub
108 stars5 forks0 contributors

What is froid?

Froid is a library that allows developers to use the Frege programming language for Android app development. It provides bindings to Android's core APIs, enabling the creation of Android applications with functional programming principles. This solves the problem of integrating a Haskell-like, type-safe language into the Android ecosystem.

Target Audience

Android developers interested in functional programming, or Frege/Haskell programmers looking to build mobile applications for Android.

Value Proposition

Developers choose Froid to leverage Frege's strong static typing and functional paradigms in Android development, which can lead to more reliable and maintainable code compared to traditional Java or Kotlin approaches.

Overview

A library for using the Frege programming language in Android development.

Use Cases

Best For

  • Building Android apps with functional programming principles
  • Integrating Frege language features into mobile development
  • Creating type-safe Android user interfaces
  • Developing Android applications with immutability and pure functions
  • Experimenting with Haskell-like syntax on the Android platform
  • Writing Android activities and views using Frege

Not Ideal For

  • Projects requiring extensive third-party libraries or rapid prototyping
  • Teams without prior functional programming experience
  • Applications needing the latest Android APIs or frequent updates

Pros & Cons

Pros

Strong Type Safety

Leverages Frege's static typing to catch errors at compile time, making apps more robust, as emphasized in the philosophy of bringing functional benefits to Android.

Functional Paradigms

Enables immutability and pure functions in Android development, leading to more maintainable code, per the project's goal of applying functional programming.

Comprehensive Tutorial

Provides a step-by-step guide for building an Android app from scratch, as highlighted in the key features and linked wiki for easy onboarding.

Subclassing Support

Includes design patterns for subclassing Android components like adapters and fragments, detailed in the contributing section for functional inheritance.

Cons

Incomplete Bindings

The README admits that creating bindings for other Android types is still needed, indicating limited API coverage and reliance on community contributions.

Niche Ecosystem

Frege is a lesser-known language, resulting in fewer libraries, tools, and community support compared to mainstream options like Kotlin or Java.

Complex Setup

Setting up Froid requires additional steps beyond standard Android development, as implied by the need for specific instructions on the wiki, adding initial friction.

Frequently Asked Questions

Quick Stats

Stars108
Forks5
Contributors0
Open Issues2
Last commit1 month ago
CreatedSince 2016

Tags

#functional-programming#type-safety#android#android-development#android-library#jvm#mobile-development#frege#haskell-like

Built With

A
Android SDK
F
Frege

Included in

Frege31
Auto-fetched 8 hours ago

Related Projects

FregeAndroidFregeAndroid

Frege interface to Android

Stars15
Forks1
Last commit11 years ago
GeoQuiz-FregeGeoQuiz-Frege

A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.

Stars11
Forks1
Last commit9 years ago
FregeAndroidFregeAndroid

A proof of concept for running Frege on Android

Stars6
Forks0
Last commit9 years ago
frege-on-androidfrege-on-android

An example of how to use Frege on Android.

Stars2
Forks1
Last commit9 years ago
Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a projectStar on GitHub