Language support for the Frege programming language in IntelliJIDEA (currently experimental)
☆23Sep 26, 2026Updated last month
Alternatives and similar repositories for frege-idea-plugin
Users that are interested in frege-idea-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:
- A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.☆20Jun 20, 2015Updated 11 years ago
- Support Frege compiler via leiningen☆37May 22, 2016Updated 10 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Dec 1, 2015Updated 10 years ago
- Experiment about a semantic-based diff tool for Java language.☆11Mar 28, 2015Updated 11 years ago
- A plugin for IntelliJ Platform to interact with Leanpub☆12Apr 14, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Parser in Java for Lisp S-expressions.☆14Apr 24, 2026Updated 6 months ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated last year
- Low-level Haskell bindings for libpq☆19Sep 19, 2019Updated 7 years ago
- Intellij Mockito Postfix Completion Plugin☆11Sep 23, 2022Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- IntelliJ IDEA plugin for Haskell☆199Aug 15, 2017Updated 9 years ago
- Idiomatic Kotlin extensions for ojAlgo☆26May 24, 2019Updated 7 years ago
- ☆11Nov 5, 2024Updated last year
- From-scratch Windows NT clone☆19Sep 2, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- VB Exe Parser is an IDA script written in Python. This script will help you to parse VB program internal structures. It can find: Event, …☆19Oct 7, 2016Updated 10 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27May 24, 2016Updated 10 years ago
- RethinkDB client library for Haskell☆93May 11, 2017Updated 9 years ago
- Yeoman generator for gradle plugin☆12May 21, 2026Updated 5 months ago
- ☆14Mar 27, 2023Updated 3 years ago
- A UML Diagrammer implemented in Python☆14Jan 22, 2026Updated 9 months ago
- ☆10Oct 20, 2017Updated 9 years ago
- A Blog Engine written in Clojure☆12Sep 25, 2013Updated 13 years ago
- S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fu…☆11Nov 20, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Static code analysis for Java☆12Apr 15, 2024Updated 2 years ago
- gestalt : portable and solid macros for Scala☆31Jan 9, 2018Updated 8 years ago
- A simple typeclass library inspired by scalaz meant as a learning tool by reducing the initial complexity of scalaz.☆10Nov 7, 2016Updated 9 years ago
- ☆20Oct 26, 2026Updated last week
- Java Code Generator for Idris☆72Feb 17, 2016Updated 10 years ago
- Chaos Testing in Kubernetes☆11Oct 16, 2025Updated last year
- A Short Refactoring Kata☆13Mar 1, 2023Updated 3 years ago
- Run javap directly from the SBT console☆30Jun 17, 2018Updated 8 years ago
- Clojure library for handling environment variables☆11Dec 28, 2020Updated 5 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.
- moved -> 'lucid.system'☆12Feb 15, 2017Updated 9 years ago
- Code completion for ANTLR☆10Sep 15, 2020Updated 6 years ago
- Introspection Pedestal App's state☆14Jan 9, 2014Updated 12 years ago
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Apr 6, 2021Updated 5 years ago
- A high-performance Kotlin/Native(Multiplatform) web framework with routing, logging, security, database, Redis and caching.☆20Updated this week
- RatPack application w/Zipkin tracing☆10Jan 3, 2019Updated 7 years ago
- WorldEngine's PyQt based GUI☆13Jul 9, 2015Updated 11 years ago