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
• ReplicaTest / REPLica
  Golden tests for command-line interfaces.
  ☆19Updated 2 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• ayberkt / Mini-TT
  A tiny implementation of dependent types.
  ☆11Updated 7 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 7 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 3 years ago
• pkamenarsky / synchron
  Synchronous programming in Haskell
  ☆17Updated 4 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 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 7 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 4 years ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• snoyberg / trio
  Crazy experiment, ignore unless you know better
  ☆37Updated 7 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆13Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago
• ocharles / dhall-agda
  Dhall, formalised in Agda
  ☆10Updated 5 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• FormationAI / hazel
  Managing third-party Haskell packages in Bazel
  ☆30Updated 6 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 4 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• ocharles / dhall-build
  Drive the Nix build system using the Dhall configuration language
  ☆26Updated 6 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated last month
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 10 years ago