idris

computer-science book theorem-proving idris

java jvm idris

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

package-manager idris

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

idris language-backend

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

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

ddd fp idris depedent-types

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

idris vscode-extension

parser-combinators idris

webassembly wasm idris codegen

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

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

recursion idris control-flow recursion-schemes idris-ecosystem

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

ecosystem idris idris-ecosystem

dart idris flutter idris2 idris2-ecosystem

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

dependent-types deep-learning functional-programming pytorch idris

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

package-manager idris free-monads

single-page-app idris webapp bingo-game

proof idris insertion-sort

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