The eclipse plugin for frege, codename fregIDE
☆31Sep 14, 2019Updated 7 years ago
Alternatives and similar repositories for eclipse-plugin
Users that are interested in eclipse-plugin 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 Interpreter☆15Jun 3, 2026Updated 3 months ago
- Frege support for IntelliJ IDEA☆15Aug 6, 2016Updated 10 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 9 years ago
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- Web Workers support for PureScripts☆11Nov 28, 2016Updated 9 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.
- Useful resources for the Frege programming language☆33Sep 11, 2021Updated 5 years ago
- The Web UI Toolbox☆17Jun 12, 2026Updated 3 months ago
- POC of Type Class for Groovy☆15Dec 28, 2014Updated 11 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Jun 15, 2026Updated 3 months ago
- Examples of Eta in action.☆36Aug 19, 2018Updated 8 years ago
- Frege + database = :-)☆16May 10, 2016Updated 10 years ago
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 8 years ago
- Functional Reactive DSL in Haskell that compiles to JavaScript.☆20Jun 14, 2009Updated 17 years ago
- ☆12Dec 26, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NanoVG Haskell bindings☆22May 17, 2023Updated 3 years ago
- Pure-Scala CRDTs☆11Jan 8, 2015Updated 11 years ago
- Port of my personal wiki system onto the Grails platform☆18Apr 4, 2018Updated 8 years ago
- Plucky errors and exceptions☆20Nov 7, 2020Updated 5 years ago
- Java implementation of Hindley Milner type inference algorithm for lambda calculus.☆11May 6, 2019Updated 7 years ago
- A protolude-based custom prelude for the Cardano project☆16Apr 30, 2026Updated 4 months ago
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 7, 2026Updated last week
- Haskell NLP Work☆17Oct 13, 2025Updated 11 months ago
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Support for your favorite build tool☆14Aug 20, 2023Updated 3 years ago
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Jun 23, 2017Updated 9 years ago
- Intellij IDEA Github colour scheme for Java☆10Mar 30, 2017Updated 9 years ago
- Skeleton files to create thumbnailers for GNOME☆13Feb 12, 2025Updated last year
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Dec 15, 2017Updated 8 years ago
- e-navigation Prototype Displays☆15Mar 27, 2023Updated 3 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- MaxMind GeoIP2 Reader for Crystal☆20Mar 24, 2021Updated 5 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27May 24, 2016Updated 10 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.
- Deprecated, use ocaml-ppx/ppxlib instead☆14Mar 29, 2018Updated 8 years ago
- Haskell type introduction illustrated☆17May 3, 2017Updated 9 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- A library to facilitate interoperation of Traits with Enaml > 0.8.x☆15Dec 5, 2022Updated 3 years ago
- Logging utilities for use with RxJava☆27Mar 17, 2025Updated last year
- Executable UML tools (xml schema, java model compiler, java + javascript model viewer) based on miUML metamodels☆21Sep 18, 2024Updated 2 years ago
- Python interface to ICAT and IDS☆13Jan 29, 2026Updated 7 months ago