Alternatives and similar repositories for intellij-idris

Users that are interested in intellij-idris are comparing it to the libraries listed below

• intellij-purescript / intellij-purescript

  View on GitHub
  Purescript intellij plugin
  ☆47Jun 18, 2025Updated 7 months ago
• pszeliga / functional-java

  View on GitHub
  ☆11Jul 20, 2017Updated 8 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• typelead / intellij-eta

  View on GitHub
  An Intellij Plugin for the Eta programming language
  ☆51Oct 18, 2018Updated 7 years ago
• deech / fltkhs-demos

  View on GitHub
  Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.
  ☆18Jul 27, 2020Updated 5 years ago
• ScalaWilliam / akka-stream-kafka-template.g8

  View on GitHub
  Template for Akka Streams & Kafka. Default impl: mirror a topic onto another one
  ☆15Mar 19, 2017Updated 8 years ago
• decisionbrain / cplex-scala

  View on GitHub
  A scala library for IBM ILOG CPLEX
  ☆20Jan 27, 2020Updated 6 years ago
• pico-works / pico-event

  View on GitHub
  Tiny publish subscribe library
  ☆15Mar 27, 2017Updated 8 years ago
• non / sbt-javap

  View on GitHub
  Run javap directly from the SBT console
  ☆30Jun 17, 2018Updated 7 years ago
• UdashFramework / udash.g8

  View on GitHub
  Giter8 template of a Udash application.
  ☆19Mar 21, 2023Updated 2 years ago
• adelbertc / rebind

  View on GitHub
  Rebind is a Scala port/remake of the Haskell retry library.
  ☆16Jun 8, 2015Updated 10 years ago
• dalaing / type-systems

  View on GitHub
  ☆23Aug 30, 2017Updated 8 years ago
• seagreen / unison-code-explorer

  View on GitHub
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Nov 25, 2020Updated 5 years ago
• ChrisPenner / lens-filesystem

  View on GitHub
  Lens interface for your filesystem
  ☆22Dec 21, 2020Updated 5 years ago
• alexarchambault / shapeless-refined-std

  View on GitHub
  Type-level API for standard collections
  ☆33Jun 6, 2016Updated 9 years ago
• TomasMikula / LambdaCart

  View on GitHub
  Lambda syntax for Scala EDSLs
  ☆27Sep 18, 2023Updated 2 years ago
• precog / scala-pathy

  View on GitHub
  A type-safe abstraction for platform-independent file system paths.
  ☆25Apr 23, 2021Updated 4 years ago
• aghosn / Obey

  View on GitHub
  Code health for scalameta
  ☆23Jan 29, 2015Updated 11 years ago
• HouzuoGuo / schale

  View on GitHub
  A subprocess interface for Scala
  ☆97Sep 16, 2015Updated 10 years ago
• CodelyTV / kotlin-hexagonal_http_api-course

  View on GitHub
  💎 Kotlin Hexagonal HTTP API Course: Learn to do scalable Kotlin web apps
  ☆25Dec 7, 2022Updated 3 years ago
• sjrd / scala-unboxed-option

  View on GitHub
  A type-parametric unboxed Option type for Scala
  ☆64Oct 10, 2021Updated 4 years ago
• nrinaudo / kantan.regex

  View on GitHub
  Regular expression library for Scala
  ☆23Feb 5, 2025Updated last year
• megamsys / newman

  View on GitHub
  A REST Client Made For Humans
  ☆23Jan 10, 2016Updated 10 years ago
• stew / left-cats

  View on GitHub
  a scala implementation of the left-pad javascript library
  ☆25Jan 4, 2018Updated 8 years ago
• julien-truffaut / Typeclass

  View on GitHub
  Workshop on typeclasses in scala
  ☆27Oct 2, 2017Updated 8 years ago
• dylnb / esslli2015-monads

  View on GitHub
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆26Aug 12, 2015Updated 10 years ago
• esmolanka / sexp-grammar

  View on GitHub
  Invertible parsing for S-expressions
  ☆34Feb 4, 2026Updated last week
• felixmulder / sbt-dotty

  View on GitHub
  A plugin to build your application using dotty with sbt support
  ☆23Apr 5, 2017Updated 8 years ago
• ThoughtWorksInc / RAII.scala

  View on GitHub
  Resource Acquisition Is Initialization
  ☆31Feb 28, 2024Updated last year
• theatrus / akka-quartz

  View on GitHub
  Because using Camel to schedule Akka actors is silly
  ☆72Nov 21, 2017Updated 8 years ago
• MedeaMelana / JsonGrammar2

  View on GitHub
  ☆26Oct 7, 2016Updated 9 years ago
• stacycurl / pimpathon

  View on GitHub
  Adds useful methods to scala & java classes.
  ☆35Feb 9, 2022Updated 4 years ago
• amarpotghan / crjdt-haskell

  View on GitHub
  A Conflict-Free Replicated JSON Datatype for Haskell
  ☆34Jul 14, 2018Updated 7 years ago
• cmditch / elm-ethereum-generator

  View on GitHub
  Generate an elm-ethereum contract interface from your contract's ABI
  ☆11Dec 7, 2022Updated 3 years ago
• eBay / RTran

  View on GitHub
  Road to Continous Upgrade
  ☆15Aug 12, 2025Updated 6 months ago
• ekmett / zippers

  View on GitHub
  Zippers based on lenses and traversals
  ☆41Aug 9, 2023Updated 2 years ago
• hmil / RosHTTP

  View on GitHub
  Unified Scala.js + Scala HTTP client API
  ☆126Jun 6, 2021Updated 4 years ago
• finagle / finagle-zookeeper

  View on GitHub
  Native non-blocking client for ZooKeeper with Finagle
  ☆54May 11, 2015Updated 10 years ago
• TomasMikula / hasheq

  View on GitHub
  Typeclass-based HashSet/HashMap for Scala
  ☆31Apr 2, 2017Updated 8 years ago