idris
There are 251 repositories under idris topic.
mmhelloworld/idris-jvm
JVM bytecode back end for Idris
idris-hackers/software-foundations
Software Foundations in Idris
joaomilho/awesome-idris
𝛌 Awesome Idris resources
awesomo4000/awesome-provable
A curated set of links to formal methods involving provable code.
elba/elba
A package manager for Idris
vmchale/project-init
Project templates in rust
bamboo/idris-cil
A Common Intermediate Language backend for Idris 1
andorp/order-taking
Idris version of Domain Modeling Made Functional Book.
ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
joom/hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
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/
swr1bm86/vscode-idris
Idris for Visual Studio Code
gallais/idris-tparsec
TParsec - Total Parser Combinators in Idris
SPY/idris-codegen-wasm
WebAssembly Code Generation Backend for Idris Compiler
bor0/gidti
Book: Introduction to Dependent Types with Idris
vmchale/recursion_schemes
Recursion schemes for Idris
jameshaydon/idris-elixir
A code-generator for Idris that targets Elixir
expede/teaching-fp
Techniques, advice, and anecdotes about how to teach Functional Programming
pheymann/specdris
A test framework for Idris
grin-compiler/idris-grin
GRIN backend for Idris
bamboo/idris2dart
The Dart backend for Idris 2.
bamboo/IdrisUnityPlayground
Experiments in Idris / Unity integration.
rpeszek/IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
doofin/differentiable-idris
dependent types meets deep learning
idris-industry/ikan
build tool and package manager for idris,in idris,with free monads
gergoerdi/icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
davidfstr/idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
ioanluca/real-world-idris
Malfunction backend for Idris with a FFI to OCaml
Russoul/Idris2-Lua
Lua backend for Idris 2
0xd34df00d/fizzbuzz-i
FizzBuzz, formally verified, provably correct
jameshaydon/smproc
A well-typed symmetric-monoidal category of concurrent processes
thautwarm/idris-cam
Sucessor: https://github.com/thautwarm/Quick-Backend
thautwarm/idris-python
Successor project: https://github.com/thautwarm/Quick-Backend
thautwarm/Quick-Backend
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
kowainik/idris-patricia
🌋 Idris implementation of patricia tree