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
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Aug 11, 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
- Gradle plugin for the Eta programming language☆29Nov 6, 2021Updated 4 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Oct 31, 2021Updated 4 years ago
- An extension to bring ghc-mod to vs code☆31Mar 28, 2017Updated 8 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- a social cms based on node.js and mongodb☆30Feb 22, 2012Updated 14 years ago
- ☆48Apr 19, 2021Updated 4 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
- Air monitoring project☆11Dec 12, 2019Updated 6 years ago
- Simple impex syntax colorer for Eclipse 3.5+☆23Apr 4, 2014Updated 11 years ago
- A script to create, mount and umount LUKS encrypted disk image files.☆17Jun 24, 2024Updated last year
- jMolecules integration for IntelliJ based IDEs like IDEA☆10Feb 22, 2024Updated 2 years ago
- various docker images with java☆11Oct 5, 2019Updated 6 years ago
- ☆10Dec 21, 2023Updated 2 years ago
- Clash of threads in the JVM!☆42Feb 8, 2019Updated 7 years ago
- Event sourcing with pure functions, left fold, pattern match☆42Jan 3, 2017Updated 9 years ago
- Three examples demonstrating three different approaches to using the Java ledger API bindings☆11Dec 5, 2025Updated 3 months ago
- A collection of lexers for various languages, written in Rust.☆12Jun 21, 2016Updated 9 years ago
- Control coroutine tasks in some advanced situations with abstracted basic patterns.☆11Aug 30, 2020Updated 5 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- Strongly-typed, safe, opinionated systems language that compiles to C.☆14May 16, 2019Updated 6 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 7 months ago
- GitHub completion for ddc.vim via gh☆12May 16, 2023Updated 2 years ago
- Visualizer for large-scale and interactive ray-tracing of neurons☆10Jan 25, 2022Updated 4 years ago
- A PGF backend for diagrams☆15Sep 16, 2025Updated 5 months ago
- ☆22May 8, 2011Updated 14 years ago
- ☆10May 28, 2022Updated 3 years ago
- Shortcode to embed GPS tracks in Hugo blogs☆13Apr 27, 2025Updated 10 months ago
- A collection of cloudflare roles☆12Feb 24, 2026Updated 2 weeks ago