computer-science book theorem-proving idris

java jvm idris

haskell awesome functional-programming idris awesome-list type-driven-development

package-manager idris

idris language-backend

metaprogramming idris mathematical-logic automated-theorem-provers theorem-prover

rust haskell elm mustache cookiecutter idris command-line-tool template-project elm-lang miso

idris vscode-extension

coq idris agda isabelle formal-verification isabelle-hol sel4 certified-programming

programming-language dependent-types coq type-theory idris agda supercompilation

parser-combinators idris

webassembly wasm idris codegen

recursion idris control-flow recursion-schemes idris-ecosystem

dependent-types books types lambda-calculus theorem-proving type-theory idris

elixir compiler actor-model idris code-generation

testing unit-testing test-framework unittest idris idris-ecosystem

python rust scheme clojure haskell elixir scala material functional-programming racket clojurescript elm ocaml teaching idris theory

playground unity idris

compiler functional-programming idris grin

dependent-types deep-learning functional-programming pytorch idris

ecosystem idris idris-ecosystem

haskell dependent-types idris literate-programming type-driven-development book-notes

javascript kotlin java go rust haskell crystal node typescript scala csharp purescript fsharp cpp elm ocaml fluid rpc idl idris

single-page-app idris webapp bingo-game

machine-learning hpc artificial-intelligence idris hpc-cluster genci

package-manager idris free-monads

proof idris insertion-sort

python python3 idris idris-ecosystem

dependent-types ocaml haskell-library idris compilers idris-ecosystem malfunction compiler-backend foreign-function-interface

python dependent-types julia idris codegen