Topic: agda Goto Github
Some thing interesting about agda
Some thing interesting about agda
agda,Agda is a dependently typed programming language / interactive theorem prover.
Organization: agda
Home Page: https://wiki.portal.chalmers.se/agda/pmwiki.php
agda,Language Server for Agda
Organization: agda
agda,apkg - package manager for Agda
Organization: agda
Home Page: https://agda.github.io/agda-pkg/
agda,The Agda standard library
Organization: agda
Home Page: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
agda,An experimental library for Cubical Agda
Organization: agda
Home Page: https://agda.github.io/cubical/Cubical.README.html
agda,The theory of algebraic graphs formalised in Agda
Organization: algebraic-graphs
agda,Basics of the dependently-typed functional language Agda ^_^
User: alhassy
agda,A slow-paced introduction to reflection in Agda. ---Tactics!
User: alhassy
agda,PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
User: alhassy
agda,A curated set of links to formal methods involving provable code.
User: awesomo4000
agda,agda-mode on VS Code
User: banacorn
Home Page: https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
agda,Categories parametrized by morphism equality, in Agda
User: copumpkin
agda,A tutorial on how Agda infers things
User: effectfully
Home Page: https://raw.githack.com/effectfully/inference-in-agda/master/InferenceInAgda.html
agda,An introductory course to Homotopy Type Theory
User: egbertrijke
agda,A formalization of category theory in cubical Agda
User: fredefox
agda,Algebraic proof discovery in Agda
Organization: frex-project
agda,Deciding Presburger arithmetic in agda
User: gallais
agda,IO using sized types and copatterns
User: gallais
Home Page: https://gallais.github.io/agda-sizedIO/README.html
agda,Total Parser Combinators in Agda
User: gallais
Home Page: https://gallais.github.io/agdarsec/
agda,A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
User: gallais
Home Page: https://gallais.github.io/generic-syntax/Generic.html
agda,Agda formalisation of the Introduction to Homotopy Type Theory
Organization: hott-intro
agda,Accessing Agda's interaction mode via command line & external tactic for Agda.
User: ice1000
agda,A SuperCompiler for Martin-Löf's Type Theory
User: ilya-klyuchnikov
agda,Formal specifications of the cardano ledger
Organization: intersectmbo
agda,Source material for Certainty by Construction
User: isovector
Home Page: https://leanpub.com/certainty-by-construction/
agda,agda-mode for neovim
User: isovector
agda,A work-in-progress core language for Agda, in Agda
User: jespercockx
agda,A TACtic library for Agda
User: jespercockx
agda,A cost-aware logical framework, embedded in Agda.
User: jonsterling
Home Page: https://jonsterling.github.io/agda-calf/
agda,Category theory applied to functional programming (undergraduate project)
User: jpvillaisaza
Home Page: https://jpvillaisaza.co/cain/cain.pdf
agda,Like "Write Yourself a Scheme in 48 Hours", but in Agda
User: langston-barrett
agda,An experimental Agda kernel for Jupyter
User: lclem
agda,Lecture notes on univalent foundations of mathematics with Agda
User: martinescardo
agda,Logical manifestations of topological concepts, and other things, via the univalent point of view.
User: martinescardo
agda,A Logical Relation for Martin-Löf Type Theory in Agda
User: mr-ohman
agda,A fast, easy-to-use ring solver for agda with step-by-step solutions
User: oisdk
Home Page: https://oisdk.github.io/agda-ring-solver/README.html
agda,A workshop on learning Agda with minimal prerequisites.
User: scott-fleischman
agda,Modeling Ancient Greek Grammar
User: scott-fleischman
Home Page: https://scott-fleischman.github.io/greek-grammar
agda,A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Organization: the1lab
Home Page: https://1lab.dev
agda,Agda grammar for tree-sitter
Organization: tree-sitter
agda,The Agda Universal Algebra Library (html docs available at the url below)
Organization: ualib
Home Page: https://ualib.github.io/agda-algebras/
agda,A toolkit for enforcing logical specifications on neural networks
Organization: vehicle-lang
Home Page: https://vehicle-lang.readthedocs.io/
agda,Proof automation – for Agda, in Agda.
User: wenkokke
Home Page: https://wenkokke.github.io/pubs/mpc2015.pdf
agda,Agda bindings to SMT-LIB2 compatible solvers.
User: wenkokke
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.