Topic: idris Goto Github

👇 Here are 239 public repositories matching this topic...

0xd34df00d / fizzbuzz-i
idris,FizzBuzz, formally verified, provably correct
User: 0xd34df00d
idris fizzbuzz

andorp / order-taking
idris,Idris version of Domain Modeling Made Functional Book.
User: andorp
fp idris ddd depedent-types

awesomo4000 / awesome-provable
idris,A curated set of links to formal methods involving provable code.
User: awesomo4000
formal-verification certified-programming sel4 coq isabelle isabelle-hol idris agda

bamboo / idris-cil
idris,A Common Intermediate Language backend for Idris 1
User: bamboo
idris language-backend

bamboo / idris2dart
idris,The Dart backend for Idris 2.
User: bamboo
dart flutter idris2 idris idris2-ecosystem

bamboo / idrisunityplayground
idris,Experiments in Idris / Unity integration.
User: bamboo
idris unity playground

bor0 / gidti
idris,Book: Introduction to Dependent Types with Idris
User: bor0
Home Page: https://leanpub.com/gidti
books dependent-types idris types type-theory theorem-proving lambda-calculus

cwgoes / tm-proposer-idris
idris,Formalization of Tendermint proposer election properties
User: cwgoes
tendermint blockchain dlt idris formal-verification

danilkolikov / categories
idris,Category Theory
User: danilkolikov
algebra category-theory idris

davidfstr / idris-insertion-sort
idris,Provably correct implementation of insertion sort in Idris.
User: davidfstr
insertion-sort proof idris

doofin / differentiable-idris
idris,dependent types meets deep learning
User: doofin
functional-programming deep-learning dependent-types idris pytorch

elba / elba
idris,A package manager for Idris
Organization: elba
Home Page: http://elba.pub
idris package-manager

expede / teaching-fp
idris,Techniques, advice, and anecdotes about how to teach Functional Programming
User: expede
teaching material haskell scala elm clojure racket functional-programming theory ocaml elixir scheme clojurescript idris rust python

freeman42x / blog
idris,Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
User: freeman42x
haskell agda idris artificial-general-intelligence strong-ai science research

gallais / idris-tparsec
idris,TParsec - Total Parser Combinators in Idris
User: gallais
Home Page: https://gallais.github.io/idris-tparsec/
idris parser-combinators

gergoerdi / icfp-bingo-2017-idris
idris,ICFP Bingo 2017 (Idris edition)
User: gergoerdi
idris single-page-app webapp bingo-game

grin-compiler / idris-grin
idris,GRIN backend for Idris
Organization: grin-compiler
Home Page: https://grin-compiler.github.io/
compiler functional-programming grin idris

idris-hackers / software-foundations
idris,Software Foundations in Idris
Organization: idris-hackers
Home Page: https://idris-hackers.github.io/software-foundations
idris theorem-proving book computer-science

idris-industry / idris-ffi-example
idris,A minimal example of the Idris C FFI
Organization: idris-industry
idris ffi

idris-industry / ikan
idris,build tool and package manager for idris,in idris,with free monads
Organization: idris-industry
idris free-monads package-manager

ilya-klyuchnikov / ttlite
idris,A SuperCompiler for Martin-Löf's Type Theory
User: ilya-klyuchnikov
supercompilation programming-language dependent-types type-theory agda idris coq

ioanluca / real-world-idris
idris,Malfunction backend for Idris with a FFI to OCaml
User: ioanluca
ocaml idris idris-ecosystem dependent-types compilers compiler-backend malfunction haskell-library foreign-function-interface

jameshaydon / idris-elixir
idris,A code-generator for Idris that targets Elixir
User: jameshaydon
actor-model code-generation compiler elixir idris

jameshaydon / idris-graphql
idris,Idris GraphQL
User: jameshaydon
idris graphql

jameshaydon / smproc
idris,A well-typed symmetric-monoidal category of concurrent processes
User: jameshaydon
idris concurrent-processes category-theory

jaredloomis / idris-hott
idris,Homotopy Type Theory proofs in Idris
User: jaredloomis
idris homotopy-type-theory type-theory dependent-types

jdevuyst / dependable-data-structures
idris,Experiments in implementing functional data structures in Idris
User: jdevuyst
dependent-types idris purely-functional-data-structures

jdevuyst / rekenaar
idris,Idris tactics for (commutative) monoids
User: jdevuyst
idris solver tactics monoid arithmetic

jdolson / univalence-from-scratch
idris,Univalence from scratch in Idris
User: jdolson
idris homotopy-type-theory univalence

jean-zay-users / jean-zay-doc
idris,Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/
Organization: jean-zay-users
Home Page: https://jean-zay-doc.readthedocs.io/en/latest/
hpc hpc-cluster artificial-intelligence machine-learning idris genci

jmitchell / idris-elixir
idris,Idris backend targeting Elixir (Work in progress)
User: jmitchell
code-generator idris elixir translator

joaomilho / awesome-idris
idris,𝛌 Awesome Idris resources
User: joaomilho
idris functional-programming type-driven-development haskell awesome awesome-list

joom / hezarfen
idris,a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
User: joom
automated-theorem-provers metaprogramming mathematical-logic idris theorem-prover

kowainik / idris-patricia
idris,🌋 Idris implementation of patricia tree
Organization: kowainik
Home Page: https://kowainik.github.io/projects/idris-patricia
idris containers data-structure algorithm persistence

marcelinevq / idris2-curl
idris,libcurl bindings for idris2
User: marcelinevq
idris2 idris-ecosystem idris2-ecosystem network binding bindings curl lib library idris

mmhelloworld / idris-jvm
idris,JVM bytecode back end for Idris
User: mmhelloworld
idris jvm java

pheymann / specdris
idris,A test framework for Idris
User: pheymann
idris idris-ecosystem unittest testing unit-testing test-framework

programminglanguagesclub / elemental-magicks
idris,Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!
Organization: programminglanguagesclub
strategy-game idris game card-game strategy

rpeszek / idristddnotes
idris,Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
User: rpeszek
book-notes dependent-types haskell idris literate-programming type-driven-development

russoul / idris2-lua
idris,Lua backend for Idris 2
User: russoul
lua idris2 idris backend

sigma-andex / idris-refined
idris,Port of Scala/Haskell Refined library to Idris
User: sigma-andex
idris refinement-types refined dependent-types sigma

spy / idris-codegen-wasm
idris,WebAssembly Code Generation Backend for Idris Compiler
User: spy
codegen idris wasm webassembly

thautwarm / idris-cam
idris,Sucessor: https://github.com/thautwarm/Quick-Backend
User: thautwarm
idris codegen dependent-types python julia

thautwarm / idris-python
idris,Successor project: https://github.com/thautwarm/Quick-Backend
User: thautwarm
idris idris-ecosystem python python3

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

tsani / jerrington.me
idris,Blog & personal website
User: tsani
Home Page: http://jerrington.me/
idris haskell blog hakyll

vmchale / project-init
idris,Project templates in rust
User: vmchale
rust cookiecutter mustache template-project haskell idris elm elm-lang miso command-line-tool

vmchale / recursion_schemes
idris,Recursion schemes for Idris
User: vmchale
idris recursion-schemes idris-ecosystem control-flow recursion

xgrommx / idris-ecosystem
idris,
User: xgrommx
idris-ecosystem idris ecosystem

zjhmale / vscode-idris
idris,Idris for Visual Studio Code
User: zjhmale
Home Page: https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
idris vscode-extension