Lean 3 Theorem Prover (community fork)

Mapping ebInterface 4.x, 5.x and 6.x from and to UBL 2.1

An HTML to PDF library for the JVM. Based on Flying Saucer and Apache PDF-BOX 2. With SVG image support. Now also with accessible PDF support (WCAG, Section 508, PDF/UA)!

Content of the book "Haskell Programming from first principles" written in Frege

User interface and public API for probing Syzygy endgame tablebases

An effort to port the Haskell library conduit to Frege.

Frege language support for Atom

Haskell API search engine

Tools & Libraries for the Advancement of Sciences (v5.0 - early 2018)

The repo has been migrated to Bitbucket https://bitbucket.org/dtnse/weather-api/src/ and archived

A 2048 game clone in Frege.

⭐ Useful resources for the Frege programming language

Frege language binding and utilities to create JavaFX user interfaces

Frege support for IntelliJ IDEA

Frege Translation of "Learn You a Haskell for Great Good!."

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

The Capsule Hash Trie Collections Library

"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)

Frege compiler/library as an OSGi bundle

A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.

Just some tests integrating Frege and Clojure (with Ring)

Frege interface to Android

IMP radically simplifies and speeds up the IDE development process in Eclipse, for both language with existing front-ends as well as languages generated using compiler and interpreter generation fr…

A startup template project for work with the Frege Language inside IntellijIDEA

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

Blog "Funktionale Programmierung"

Examples of the book "Real World Haskell" in the Frege programming language