Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
☆3,712Jul 11, 2026Updated 2 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,637Jul 31, 2022Updated 4 years ago
- A Dependently Typed Functional Programming Language☆3,477Feb 17, 2025Updated last year
- The Haskell Tool Stack☆4,078Updated this week
- A strongly-typed language that compiles to JavaScript☆8,914Jul 8, 2026Updated 2 months ago
- Haskell to JavaScript compiler, based on GHC☆2,617Jan 21, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Frege REPL☆80Feb 22, 2019Updated 7 years ago
- Compiler for Elm, a functional language for reliable webapps.☆7,910Updated this week
- The Lux Programming Language☆1,743Sep 21, 2026Updated 2 weeks ago
- The Gosu programming language☆476Updated this week
- Your favorite language gets closer to bare metal.☆4,693Updated this week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,195Updated this week
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,369Mar 15, 2026Updated 6 months ago
- A statically typed lisp, without a GC, for real-time applications.☆6,060Updated this week
- Blog post previews in need of peer review☆2,196Jul 19, 2023Updated 3 years 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.
- Idris on the JVM☆482Sep 5, 2026Updated last month
- Golo - a lightweight dynamic language for the JVM.☆493Oct 19, 2021Updated 4 years ago
- The Clojure programming language☆10,963Updated this week
- The Scala 3 compiler, also known as Dotty.☆6,312Updated this week
- Lightweight, modular, and extensible library for functional programming.☆5,471Sep 22, 2026Updated 2 weeks ago
- A RESTful Haskell web framework built on WAI.☆2,726Sep 18, 2026Updated 2 weeks ago
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,965Sep 17, 2026Updated 2 weeks ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Dec 1, 2015Updated 10 years ago
- The engine for haskell ide-integration. Not an IDE☆2,348Dec 23, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆997Jan 25, 2020Updated 6 years ago
- An optional type system for Clojure☆1,314Jan 6, 2026Updated 9 months ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,477Jan 11, 2021Updated 5 years ago
- A friendly programming language from the future☆6,743Updated this week
- What I Wish I Knew When Learning Haskell☆2,669Sep 13, 2025Updated last year
- Principled Functional Programming in Scala☆4,667Updated this week
- Io programming language. Inspired by Self, Smalltalk and LISP.☆2,793Sep 1, 2026Updated last month
- The Racket repository☆5,217Updated this week
- Lisp Flavoured Erlang (LFE)☆2,459Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generic programming for Scala☆3,401Sep 23, 2026Updated 2 weeks ago
- Shell programming, Haskell style☆979Sep 23, 2025Updated last year
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,109Updated this week
- A library for using the Frege programming language in Android development.☆108Jun 11, 2026Updated 3 months ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,067Dec 6, 2018Updated 7 years ago
- A Proof-oriented Programming Language☆3,109Updated this week
- A Haskell kernel for the Jupyter project.☆2,660Aug 15, 2026Updated last month