Alternatives and similar repositories for rules_idris

Users that are interested in rules_idris are comparing it to the libraries listed below

• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated 6 months ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 3 years ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• gereeter / bounded-intmap
  A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.
  ☆20Updated last year
• FormationAI / hazel
  Managing third-party Haskell packages in Bazel
  ☆30Updated 6 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• diagrams / dual-tree
  Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
  ☆16Updated last month
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• Gabriella439 / graph
  Dhall support for directed graphs with labeled vertices
  ☆19Updated 3 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 3 years ago
• factisresearch / opensource
  Haskell: Monorepo for our open source packages
  ☆17Updated 7 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• MarcelineVQ / idris2-streaming
  Effectful Streaming for Idris
  ☆14Updated 4 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 6 years ago
• lambda-11235 / FarRP
  An arrowized FRP library for Idris with static safety guarantees.
  ☆16Updated 7 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆19Updated 2 years ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• ocharles / dhall-build
  Drive the Nix build system using the Dhall configuration language
  ☆26Updated 6 years ago