carymrobbins / intellij-fregeView external linksLinks
Frege support for IntelliJ IDEA
☆14Aug 6, 2016Updated 9 years ago
Alternatives and similar repositories for intellij-frege
Users that are interested in intellij-frege are comparing it to the libraries listed below
Sorting:
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 3 years ago
- Language support for the Frege programming language in IntelliJIDEA (currently experimental)☆22Apr 13, 2016Updated 9 years ago
- A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.☆20Jun 20, 2015Updated 10 years 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
- ☆13Apr 18, 2016Updated 9 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Aug 11, 2019Updated 6 years ago
- The eclipse plugin for frege, codename fregIDE☆31Sep 14, 2019Updated 6 years ago
- A purity and nullability analysis tool for Java.☆26Aug 9, 2018Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27May 24, 2016Updated 9 years ago
- A Haskell program and library to derive instances for data types☆25May 30, 2020Updated 5 years ago
- GHC prof manipulation script☆32Feb 4, 2024Updated 2 years ago
- Useful resources for the Frege programming language☆31Sep 11, 2021Updated 4 years ago
- Haskell types lined up to highlight their similarities☆30Jan 30, 2020Updated 6 years ago
- Gradle plugin for the Eta programming language☆30Nov 6, 2021Updated 4 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Oct 31, 2021Updated 4 years ago
- Support for reading and writing UTF8 Strings in Haskell☆46Mar 22, 2022Updated 3 years ago
- a social cms based on node.js and mongodb☆30Feb 22, 2012Updated 13 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- Vavr integration for Kotlin☆81Oct 26, 2020Updated 5 years ago
- Simple impex syntax colorer for Eclipse 3.5+☆23Apr 4, 2014Updated 11 years ago
- Air monitoring project☆11Dec 12, 2019Updated 6 years ago
- various docker images with java☆11Oct 5, 2019Updated 6 years ago
- jMolecules integration for IntelliJ based IDEs like IDEA☆10Feb 22, 2024Updated last year
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- Event sourcing with pure functions, left fold, pattern match☆42Jan 3, 2017Updated 9 years ago
- Reactive monitoring dashboard☆11Oct 13, 2020Updated 5 years ago
- Welcome to BuildingControlLib, a Modelica library for modelling and simulation of standardized and non-standardized control functions fro…☆13Jan 19, 2018Updated 8 years ago
- OAuth 2.0 and OIDC Facilities for Pedestal web applications☆10Jan 24, 2024Updated 2 years ago
- Check out presentation folder for more info! (or just run getReadyForConference.sh)☆10Nov 13, 2017Updated 8 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- ☆10Jun 27, 2019Updated 6 years ago
- A collection of scripts which output xmobar-readable information☆12Nov 13, 2021Updated 4 years ago
- SMSAPI bash client that allows you to send messages from your SMSAPI account.☆15Feb 17, 2020Updated 6 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 10 years ago
- Because "bun create preact --typescript" is not a thing apparently☆13Apr 29, 2023Updated 2 years ago
- Demo applications for elm-serverless.☆11Jan 9, 2026Updated last month
- Render SPA components in parallel over the vert.x event bus with a template engine harness.☆10Apr 16, 2018Updated 7 years ago