{"id":115,"url":"https://github.com/sfischer13/awesome-frege","last_synced_at":"2025-04-23T19:33:04.444Z","repository":{"id":80694093,"uuid":"59353585","full_name":"sfischer13/awesome-frege","owner":"sfischer13","description":":star: Useful resources for the Frege programming language","archived":true,"fork":false,"pushed_at":"2021-09-11T13:36:51.000Z","size":45,"stargazers_count":30,"open_issues_count":0,"forks_count":5,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-04-12T09:04:16.617Z","etag":null,"topics":["awesome","awesome-list","frege","haskell","list"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"cc0-1.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sfischer13.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"contributing.md","funding":null,"license":"LICENSE","code_of_conduct":"code-of-conduct.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2016-05-21T10:08:25.000Z","updated_at":"2024-12-20T05:01:00.000Z","dependencies_parsed_at":null,"dependency_job_id":"f6593480-29d2-4c3d-b78c-c86da260f0c1","html_url":"https://github.com/sfischer13/awesome-frege","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sfischer13%2Fawesome-frege","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sfischer13%2Fawesome-frege/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sfischer13%2Fawesome-frege/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sfischer13%2Fawesome-frege/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sfischer13","download_url":"https://codeload.github.com/sfischer13/awesome-frege/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250499931,"owners_count":21440716,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["awesome","awesome-list","frege","haskell","list"],"created_at":"2024-01-05T20:12:46.735Z","updated_at":"2025-04-23T19:33:04.187Z","avatar_url":"https://github.com/sfischer13.png","language":null,"funding_links":[],"categories":["Programming Languages","Technical","Others","Uncategorized","front-end-development","Live Site:   [searchAwesome](https://search-awesome.vercel.app/)","编程语言","Other Lists","Themed Directories"],"sub_categories":["awesome-*","Uncategorized","Julia Lists","Archived"],"readme":"\u003c!--lint disable double-link--\u003e\n\n# Awesome Frege [![Awesome](https://awesome.re/badge.svg)](https://awesome.re)\n\n\u003e Useful resources for the [Frege](https://github.com/Frege/frege) programming language\n\nYou might also like [awesome-haskell](https://github.com/krispo/awesome-haskell).\n\n*Please read the [contribution guidelines](contributing.md) before contributing.*\n\n## Contents\n\n\u003c!-- START doctoc generated TOC please keep comment here to allow auto update --\u003e\n\u003c!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE --\u003e\n\n- [Introduction](#introduction)\n  - [Overview](#overview)\n  - [First Steps](#first-steps)\n  - [Comparisons](#comparisons)\n  - [Official Resources](#official-resources)\n- [Community](#community)\n  - [Chat](#chat)\n  - [Questions](#questions)\n  - [Social Media](#social-media)\n- [Information](#information)\n  - [Articles \u0026 Blogs](#articles--blogs)\n  - [Books](#books)\n  - [Conferences](#conferences)\n  - [Courses](#courses)\n  - [Talks](#talks)\n- [Libraries](#libraries)\n  - [Android](#android)\n  - [Big Data](#big-data)\n  - [Databases](#databases)\n  - [Email](#email)\n  - [Graphics](#graphics)\n  - [GUI](#gui)\n  - [Web Frameworks](#web-frameworks)\n- [Sample Applications](#sample-applications)\n  - [Games](#games)\n  - [Media](#media)\n  - [Web](#web)\n- [Tools](#tools)\n  - [Build Tools](#build-tools)\n  - [IDEs](#ides)\n  - [REPLs](#repls)\n  - [Unit Testing](#unit-testing)\n\n\u003c!-- END doctoc generated TOC please keep comment here to allow auto update --\u003e\n\n## Introduction\n\n### Overview\n\n- [Frege](https://github.com/Frege/frege) - Official website.\n\n### First Steps\n\n- [Getting Started](https://github.com/Frege/frege/wiki/Getting-Started) - First steps with Frege on the command line.\n- [Examples](https://github.com/Frege/frege/tree/master/examples) - Some code examples.\n- [Template](https://github.com/tfausak/fregexample) - Template for Frege projects.\n- [Trending](https://github.com/trending?l=frege) - Trending projects on GitHub.\n\n### Comparisons\n\n- [Frege vs. Haskell](https://github.com/Frege/frege/wiki/Differences-between-Frege-and-Haskell) - Differences between Frege and Haskell.\n- [Frege vs. Scala](https://stackoverflow.com/questions/17905322/what-are-the-main-differences-between-scala-and-frege-in-programming-paradigms) - Differences between Scala and Frege.\n\n### Official Resources\n\n- [Language Reference](http://www.frege-lang.org/doc/Language.pdf) - Description of the language and its implementation.\n- [Standard Library API](http://www.frege-lang.org/doc/fregedoc.html) - Frege API documentation.\n- [Java Runtime API](http://www.frege-lang.org/doc/index.html) - Java API documentation.\n- [FAQ](https://github.com/Frege/frege/wiki/Frequently-Asked-Questions) - Frequently asked questions.\n- [Wiki](https://github.com/Frege/frege/wiki) - Official wiki.\n- [Changelog](https://github.com/Frege/frege/wiki/New-or-Changed-Features) - Official changelog.\n\n## Community\n\n### Chat\n\n- [Gitter](https://gitter.im/Frege/frege) - Gitter channel.\n- [IRC](https://webchat.freenode.net/?channels=%23frege) - IRC channel.\n\n### Questions\n\n- [Google Group](https://groups.google.com/forum/#!forum/frege-programming-language) - Frege Google Group.\n- [Stack Overflow](https://stackoverflow.com/questions/tagged/frege) - Frege tag on Stack Overflow.\n\n### Social Media\n\n- [Twitter](https://twitter.com/fregelang) - Official Twitter account.\n- [reddit](https://www.reddit.com/r/frege/) - Frege subreddit.\n- [Dierk König](https://twitter.com/mittie) - Core contributor and Groovy expert.\n\n## Information\n\n### Articles \u0026 Blogs\n\n- [InfoQ](https://www.infoq.com/news/2015/08/frege-haskell-for-jvm) - InfoQ article on Frege.\n- [Frege Wiki](https://github.com/Frege/frege/wiki/Articles) - List of more articles on the Frege wiki.\n- [Frege Programming Language](http://fregepl.blogspot.com) - Blog of Ingo Wechsung.\n- [JAXenter](https://jaxenter.de/frege-haskell-jvm-54617) - Interview with Ingo Wechsung (German).\n\n### Books\n\n- [Frege Goodness](https://www.gitbook.com/book/dierk/fregegoodness/details) - Book by Dierk König.\n- [Frege Quick Reference](https://www.gitbook.com/book/ingo60/frege-quick-reference/details) - Book by Ingo Wechsung.\n- [Learn You a Frege for Great Good!](https://github.com/y-taka-23/learn-you-a-frege) - Frege adaptation of Learn You a Haskell for Great Good!.\n- [Frege Wiki](https://github.com/Frege/frege/wiki/Books) - List of more books on the Frege wiki.\n\n### Conferences\n\n- [ICFP](http://www.icfpconference.org/) - International Conference on Functional Programming.\n\n### Courses\n\n- [FP101x](https://www.edx.org/course/introduction-functional-programming-delftx-fp101x-0) - Introduction to Functional Programming on edX.\n\n### Talks\n\n- [Overview](https://www.youtube.com/watch?v=1P1-HXNfFPc) - Frege, a Haskell for the JVM by Dierk König.\n- [Frege vs. Haskell](https://www.youtube.com/watch?v=o2qwNlVeyA4) - FregeDay: Roadmap for resolving differences between Haskell and Frege (Ingo Wechsung).\n- [ICFP Videos](https://www.youtube.com/channel/UCwRL68qZFfub1Ep1EScfmBw) - Videos about functional programming.\n- [Frege Wiki](https://github.com/Frege/frege/wiki/Talks) - List of more talks on the Frege wiki.\n\n## Libraries\n\n- [Frege Wiki](https://github.com/Frege/frege/wiki/Libraries) - List of libraries on the Frege wiki.\n\n### Android\n\n- [FregeAndroid](https://github.com/trilogysci/FregeAndroid) - Frege interface to the Android API.\n- [frege-on-android](https://github.com/ppelleti/frege-on-android) - How to use Frege on Android.\n- [FregeAndroid](https://github.com/mchav/FregeAndroid) - Proof of concept Android application in Frege.\n- [GeoQuiz-Frege](https://github.com/mchav/GeoQuiz-Frege) - Port of the BigNerd Ranch GeoQuiz application in Frege.\n- [froid](https://github.com/mchav/froid) - Library for using Frege in Android development.\n\n### Big Data\n\n- [Spark](https://github.com/sw1sh/frege-spark) - Apache Spark with Frege.\n\n### Databases\n\n- [Sirocco](https://github.com/fregelab/sirocco) - Frege library for relational databases.\n- [frege-dbc](https://github.com/DellCliff/frege-dbc) - JDBC with Frege.\n\n### Email\n\n- [Frege Email](https://github.com/y-taka-23/frege-email) - SMTP library for Frege.\n\n### Graphics\n\n- [Frege-RayTracer](https://github.com/mchav/Frege-RayTracer) - Ray tracer in Frege.\n\n### GUI\n\n- [FregeFX](https://github.com/Frege/FregeFX) - Frege bindings for JavaFX.\n\n### Web Frameworks\n\n- [Chinook](https://github.com/fregelab/chinook) - Frege web framework based on SparkJava.\n- [Fregelet](https://github.com/mmhelloworld/fregelet) - Frege web framework based on servlet.\n- [Play](https://github.com/mmhelloworld/hello-play-frege) - Play framework with Frege.\n\n## Sample Applications\n\n### Games\n\n- [2048](https://github.com/tfausak/fr2048) - Frege clone of 2048.\n- [frech](https://github.com/Ingo60/frech) - Fully functional chess engine.\n\n### Media\n\n- [Zwana](https://github.com/mchav/Zwana) - Piano using Java Midi.\n\n### Web\n\n- [RESTful Todo Manager](https://github.com/y-taka-23/restful-todo) - Task list manager written in Frege.\n- [Play Framework](https://github.com/mmhelloworld/hello-play-frege) - Play application written in Frege.\n- [Fervor](https://github.com/mchav/fervor) - Server for local directories.\n\n## Tools\n\n### Build Tools\n\n- [Leiningen](http://leiningen.org/) - Project automation for Frege and Clojure.\n- [Leiningen Template](https://github.com/Frege/frege-lein-template) - Template for frege-lein projects.\n- [gottlob](https://github.com/mchav/gottlob) - Build tool for Frege.\n\n### IDEs\n\n- [fregIDE](https://github.com/Frege/eclipse-plugin/wiki/fregIDE-Tutorial) - Eclipse plugin for Frege.\n- [intellij-frege](https://github.com/carymrobbins/intellij-frege) - Frege support for IntelliJ IDEA.\n- [frege-idea-plugin](https://github.com/Dierk/frege-idea-plugin) - Language support for Frege in IntelliJ IDEA.\n\n### REPLs\n\n- [Console REPL](https://github.com/Frege/frege-repl) - REPL on the console.\n- [GUI REPL](https://github.com/Dierk/frepl-gui) - GUI based REPL.\n\n### Unit Testing\n\n- [FrUnit](https://github.com/melrief/FrUnit) - JUnit for Frege.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsfischer13%2Fawesome-frege","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsfischer13%2Fawesome-frege","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsfischer13%2Fawesome-frege/lists"}