Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
☆3,695Nov 19, 2025Updated 6 months ago
Alternatives and similar repositories for frege
Users that are interested in frege are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,630Jul 31, 2022Updated 3 years ago
- A Dependently Typed Functional Programming Language☆3,474Feb 17, 2025Updated last year
- The Haskell Tool Stack☆4,060Updated this week
- A strongly-typed language that compiles to JavaScript☆8,871Mar 24, 2026Updated 2 months ago
- Haskell to JavaScript compiler, based on GHC☆2,620Jan 21, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Frege REPL☆79Feb 22, 2019Updated 7 years ago
- The Lux Programming Language☆1,739May 15, 2026Updated 3 weeks ago
- Compiler for Elm, a functional language for reliable webapps.☆7,791Apr 28, 2026Updated last month
- Your favorite language gets closer to bare metal.☆4,668Updated this week
- The Gosu programming language☆470Jun 2, 2026Updated last week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,122Updated this week
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,381Mar 15, 2026Updated 2 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,936Updated this week
- Blog post previews in need of peer review☆2,201Jul 19, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- JVM bytecode back end for Idris☆481Updated this week
- Golo - a lightweight dynamic language for the JVM.☆494Oct 19, 2021Updated 4 years ago
- The Clojure programming language☆10,924May 12, 2026Updated 3 weeks ago
- A RESTful Haskell web framework built on WAI.☆2,712Updated this week
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,956May 28, 2026Updated last week
- The engine for haskell ide-integration. Not an IDE☆2,358Dec 23, 2020Updated 5 years ago
- Lightweight, modular, and extensible library for functional programming.☆5,446Jun 2, 2026Updated last week
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,478Jan 11, 2021Updated 5 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Dec 1, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆1,002Jan 25, 2020Updated 6 years ago
- A friendly programming language from the future☆6,637Jun 1, 2026Updated last week
- The Scala 3 compiler, also known as Dotty.☆6,253Updated this week
- What I Wish I Knew When Learning Haskell☆2,664Sep 13, 2025Updated 8 months ago
- Principled Functional Programming in Scala☆4,670Updated this week
- Io programming language. Inspired by Self, Smalltalk and LISP.☆2,768Jun 1, 2026Updated last week
- The Racket repository☆5,154Jun 2, 2026Updated last week
- An optional type system for Clojure☆1,313Jan 6, 2026Updated 5 months ago
- Lisp Flavoured Erlang (LFE)☆2,434Jan 9, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Shell programming, Haskell style☆974Sep 23, 2025Updated 8 months ago
- Generic programming for Scala☆3,407May 23, 2026Updated 2 weeks ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,084May 7, 2026Updated last month
- A library for using the Frege programming language in Android development.☆106Updated this week
- Functional programming inspired by ML for the Erlang VM☆1,462Jun 13, 2020Updated 5 years ago
- A Proof-oriented Programming Language☆3,039Updated this week
- A Haskell kernel for the Jupyter project.☆2,646Jun 1, 2026Updated last week