Topic: idris Goto Github
Some thing interesting about idris
Some thing interesting about idris
idris,FizzBuzz, formally verified, provably correct
User: 0xd34df00d
idris,Idris version of Domain Modeling Made Functional Book.
User: andorp
idris,A curated set of links to formal methods involving provable code.
User: awesomo4000
idris,A Common Intermediate Language backend for Idris 1
User: bamboo
idris,The Dart backend for Idris 2.
User: bamboo
idris,Experiments in Idris / Unity integration.
User: bamboo
idris,Book: Introduction to Dependent Types with Idris
User: bor0
Home Page: https://leanpub.com/gidti
idris,Formalization of Tendermint proposer election properties
User: cwgoes
idris,Provably correct implementation of insertion sort in Idris.
User: davidfstr
idris,dependent types meets deep learning
User: doofin
idris,A package manager for Idris
Organization: elba
Home Page: http://elba.pub
idris,Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
User: freeman42x
idris,TParsec - Total Parser Combinators in Idris
User: gallais
Home Page: https://gallais.github.io/idris-tparsec/
idris,ICFP Bingo 2017 (Idris edition)
User: gergoerdi
idris,GRIN backend for Idris
Organization: grin-compiler
Home Page: https://grin-compiler.github.io/
idris,Software Foundations in Idris
Organization: idris-hackers
Home Page: https://idris-hackers.github.io/software-foundations
idris,A minimal example of the Idris C FFI
Organization: idris-industry
idris,build tool and package manager for idris,in idris,with free monads
Organization: idris-industry
idris,A SuperCompiler for Martin-Löf's Type Theory
User: ilya-klyuchnikov
idris,Malfunction backend for Idris with a FFI to OCaml
User: ioanluca
idris,A code-generator for Idris that targets Elixir
User: jameshaydon
idris,A well-typed symmetric-monoidal category of concurrent processes
User: jameshaydon
idris,Homotopy Type Theory proofs in Idris
User: jaredloomis
idris,Experiments in implementing functional data structures in Idris
User: jdevuyst
idris,Univalence from scratch in Idris
User: jdolson
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/
idris,Idris backend targeting Elixir (Work in progress)
User: jmitchell
idris,𝛌 Awesome Idris resources
User: joaomilho
idris,a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
User: joom
idris,🌋 Idris implementation of patricia tree
Organization: kowainik
Home Page: https://kowainik.github.io/projects/idris-patricia
idris,libcurl bindings for idris2
User: marcelinevq
idris,A test framework for Idris
User: pheymann
idris,Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!
Organization: programminglanguagesclub
idris,Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
User: rpeszek
idris,Port of Scala/Haskell Refined library to Idris
User: sigma-andex
idris,WebAssembly Code Generation Backend for Idris Compiler
User: spy
idris,Successor project: https://github.com/thautwarm/Quick-Backend
User: thautwarm
idris,Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
User: thautwarm
idris,Blog & personal website
User: tsani
Home Page: http://jerrington.me/
idris,Project templates in rust
User: vmchale
idris,Recursion schemes for Idris
User: vmchale
idris,Idris for Visual Studio Code
User: zjhmale
Home Page: https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.