Frege REPL
☆80Feb 22, 2019Updated 7 years ago
Alternatives and similar repositories for frege-repl
Users that are interested in frege-repl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Frege code generator for Java classes☆17Sep 19, 2017Updated 9 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Dec 1, 2015Updated 10 years ago
- The eclipse plugin for frege, codename fregIDE☆31Sep 14, 2019Updated 7 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27May 24, 2016Updated 10 years ago
- Gradle plugin for compiling Frege projects☆24Dec 8, 2021Updated 4 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.
- Frege language binding and utilities to create JavaFX user interfaces☆35Jun 15, 2026Updated 4 months ago
- GUI for the frege repl☆26Apr 17, 2017Updated 9 years ago
- Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.☆3,711Jul 11, 2026Updated 3 months ago
- Support for your favorite build tool☆14Aug 20, 2023Updated 3 years ago
- A simple Play application with Frege☆20Nov 23, 2015Updated 10 years ago
- POC of Type Class for Groovy☆15Dec 28, 2014Updated 11 years ago
- Frege + database = :-)☆16May 10, 2016Updated 10 years ago
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- A practical unit-of-measure calculator DSL for Scala☆15May 20, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Support Frege compiler via leiningen☆37May 22, 2016Updated 10 years ago
- A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.☆20Jun 20, 2015Updated 11 years ago
- Java Code Generator for Idris☆72Feb 17, 2016Updated 10 years ago
- Publishing tools for papers, books, and presentations☆13May 29, 2024Updated 2 years ago
- Haskell clone of Boundary's k-ordered unique id service☆40May 5, 2018Updated 8 years ago
- slides and examples from talks☆19Jun 14, 2018Updated 8 years ago
- Useful resources for the Frege programming language☆33Sep 11, 2021Updated 5 years ago
- Frege support for sbt☆53Jul 4, 2026Updated 3 months ago
- Papers I (+ collaborators) have written or am currently writing☆19Jan 15, 2018Updated 8 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.
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 10 years ago
- Rake buildsystem for generating Manning DocBook and PDF files from AsciiDoc.☆18May 10, 2018Updated 8 years ago
- Equites, a Scala chess playground☆17May 7, 2015Updated 11 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆53Aug 12, 2026Updated 2 months ago
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated last year
- Display output of scripts in the macOS status bar☆15Aug 12, 2026Updated 2 months ago
- A small library for tracking mutable state in Idris programs☆12Apr 19, 2017Updated 9 years ago
- the 64th base of rfc4648☆21Feb 28, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Time is infinite.☆11Sep 30, 2013Updated 13 years ago
- Integrating Hastache templates into Scotty☆17Dec 22, 2014Updated 11 years ago
- Message-oriented Middleware for Haskell☆23Dec 27, 2020Updated 5 years ago
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 5 years ago
- QuickFIX bindings for Haskell☆26Oct 2, 2025Updated last year
- This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolo…☆181Jul 26, 2024Updated 2 years ago
- Notify Honeybadger about Haskell exceptions.☆12Oct 2, 2026Updated last month