The eclipse plugin for frege, codename fregIDE
☆31Sep 14, 2019Updated 6 years ago
Alternatives and similar repositories for eclipse-plugin
Users that are interested in eclipse-plugin are comparing it to the libraries listed below
Sorting:
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- Frege Interpreter☆15Jun 13, 2020Updated 5 years ago
- A protolude-based custom prelude for the Cardano project☆16Feb 20, 2026Updated last week
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 12, 2024Updated last year
- Examples of Eta in action.☆36Aug 19, 2018Updated 7 years ago
- Haskell NLP Work☆17Oct 13, 2025Updated 4 months ago
- 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
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Relational Programming in miniKanren☆52Jun 25, 2015Updated 10 years ago
- Address resolution protocol (ARP) implementation in OCaml targeting MirageOS☆23Oct 20, 2025Updated 4 months ago
- Elm profiles to sponsor☆23Apr 11, 2023Updated 2 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Port of HUGS Haskell interpreter to Android☆43Feb 6, 2014Updated 12 years ago
- A practical type-safe UI library for PureScript.☆31Apr 19, 2021Updated 4 years ago
- Gradle plugin for compiling Frege projects☆24Dec 8, 2021Updated 4 years ago
- Convert stack projects to cabal.project + cabal.project.freeze☆26Mar 18, 2024Updated last year
- BQL: A Better Query Language, SQL Superset☆46Mar 23, 2021Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- Useful resources for the Frege programming language☆31Sep 11, 2021Updated 4 years ago
- android app example linked with haskell library using android NDK☆32Jul 22, 2016Updated 9 years ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆72May 30, 2023Updated 2 years ago
- Library and macros to simplify writing Haskell FFI code☆40Dec 4, 2022Updated 3 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Oct 8, 2024Updated last year
- Purely functional map and set data structures☆36Jun 8, 2025Updated 8 months ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Oct 31, 2021Updated 4 years ago
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- IP Routing Table in Haskell☆46Dec 29, 2025Updated 2 months ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- The MonadUnliftIO typeclass for unlifting monads to IO☆149Sep 10, 2025Updated 5 months ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 8 years ago
- ☆39Apr 22, 2024Updated last year
- ICFP tutorial☆39Jul 31, 2021Updated 4 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Note 10+ (Hong Kong) wifi-service.jar☆10Oct 11, 2020Updated 5 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Mar 3, 2025Updated 11 months ago
- Fast tool to migrate GitLab repositories and merge requests to GitHub☆22Aug 29, 2025Updated 6 months ago