idris

There are 36 repositories under idris topic.

• mmhelloworld / idris-jvm

  JVM bytecode back end for Idris

  idrisjavajvm
  Language:Idris 463

• idris-hackers / software-foundations

  Software Foundations in Idris

  idristheorem-provingbookcomputer-science
  Language:Idris 446

• joaomilho / awesome-idris

  𝛌 Awesome Idris resources

  idrisfunctional-programmingtype-driven-developmenthaskellawesomeawesome-list
  Language:Idris 380

• elba / elba

  A package manager for Idris

  idrispackage-manager
  Language:Rust 190

• awesomo4000 / awesome-provable

  A curated set of links to formal methods involving provable code.

  formal-verificationcertified-programmingsel4coqisabelleisabelle-holidrisagda
  184

• vmchale / project-init

  Project templates in rust

  rustcookiecuttermustachetemplate-projecthaskellidriselmelm-langmisocommand-line-tool
  Language:Rust 138

• andorp / order-taking

  Idris version of Domain Modeling Made Functional Book.

  ddddepedent-typesfpidris
  Language:Idris 130

• bamboo / idris-cil

  A Common Intermediate Language backend for Idris 1

  idrislanguage-backend
  Language:Haskell 130

• ilya-klyuchnikov / ttlite

  A SuperCompiler for Martin-Löf's Type Theory

  supercompilationprogramming-languagedependent-typestype-theoryagdaidriscoq
  Language:Scala 120

• joom / hezarfen

  a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

  automated-theorem-proversmetaprogrammingmathematical-logicidristheorem-prover
  Language:Idris 117

• zjhmale / vscode-idris

  Idris for Visual Studio Code

  idrisvscode-extension
  Language:JavaScript 107

• jean-zay-users / jean-zay-doc

  Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/

  artificial-intelligencegencihpchpc-clusteridrismachine-learning
  98

• gallais / idris-tparsec

  TParsec - Total Parser Combinators in Idris

  idrisparser-combinators
  Language:Idris 93

• SPY / idris-codegen-wasm

  WebAssembly Code Generation Backend for Idris Compiler

  idriswebassemblycodegenwasm
  Language:Haskell 81

• bor0 / gidti

  Book: Introduction to Dependent Types with Idris

  booksdependent-typesidristypestype-theorytheorem-provinglambda-calculus
  73

• jameshaydon / idris-elixir

  A code-generator for Idris that targets Elixir

  idriselixircode-generationcompileractor-model
  Language:Haskell 63

• vmchale / recursion_schemes

  Recursion schemes for Idris

  idrisrecursion-schemesidris-ecosystemcontrol-flowrecursion
  Language:Idris 62

• expede / teaching-fp

  Techniques, advice, and anecdotes about how to teach Functional Programming

  clojureclojurescriptelixirelmfunctional-programminghaskellidrismaterialocamlpythonracketrustscalaschemeteachingtheory
  56

• pheymann / specdris

  A test framework for Idris

  idrisidris-ecosystemunittesttestingunit-testingtest-framework
  Language:Idris 56

• grin-compiler / idris-grin

  GRIN backend for Idris

  compilerfunctional-programminggrinidris
  Language:Idris 50

• bamboo / IdrisUnityPlayground

  Experiments in Idris / Unity integration.

  idrisunityplayground
  Language:Idris 49

• bamboo / idris2dart

  The Dart backend for Idris 2.

  dartflutteridrisidris2idris2-ecosystem
  Language:Idris 47

• rpeszek / IdrisTddNotes

  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

  book-notesdependent-typeshaskellidrisliterate-programmingtype-driven-development
  Language:Haskell 47

• xgrommx / idris-ecosystem

  idris-ecosystemidrisecosystem
  47

• doofin / differentiable-idris

  dependent types meets deep learning

  functional-programmingdeep-learningdependent-typesidrispytorch
  Language:Idris 42

• idris-industry / ikan

  build tool and package manager for idris,in idris,with free monads

  idrisfree-monadspackage-manager
  Language:Idris 34

• gergoerdi / icfp-bingo-2017-idris

  ICFP Bingo 2017 (Idris edition)

  idrissingle-page-appwebappbingo-game
  Language:Idris 30

• davidfstr / idris-insertion-sort

  Provably correct implementation of insertion sort in Idris.

  idrisinsertion-sortproof
  Language:Idris 28

• ioanluca / real-world-idris

  Malfunction backend for Idris with a FFI to OCaml

  ocamlidrisidris-ecosystemdependent-typescompilerscompiler-backendmalfunctionhaskell-libraryforeign-function-interface
  Language:TeX 28

• Russoul / Idris2-Lua

  Lua backend for Idris 2

  luaidris2idrisbackend
  Language:Idris 27

• thautwarm / idris-python

  Successor project: https://github.com/thautwarm/Quick-Backend

  idrisidris-ecosystempythonpython3
  Language:Python 25

• thautwarm / idris-cam

  Sucessor: https://github.com/thautwarm/Quick-Backend

  idriscodegendependent-typespythonjulia
  Language:Idris 24

• 0xd34df00d / fizzbuzz-i

  FizzBuzz, formally verified, provably correct

  fizzbuzzidris
  Language:Idris 23

• jameshaydon / smproc

  A well-typed symmetric-monoidal category of concurrent processes

  idrisconcurrent-processescategory-theory
  Language:Idris 23

• kowainik / idris-patricia

  🌋 Idris implementation of patricia tree

  idriscontainersdata-structurealgorithmpersistence
  Language:Idris 22

• thautwarm / Quick-Backend

  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

  idriscompiler-backendcode-generation
  Language:TeX 22