Name: Agda Github Community
Type: Organization
Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.
HACKING
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-assoc-free
An implementation of "Associativity for Free"
agda-base
This is an experimental base library which is supposed to contain functional datastructures and reflection code.
agda-categories
A new Categories library for Agda
agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
agda-finite-prover
Library for proving propositions quantified over finite sets
agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda-frp-ltl
An implementation of Functional Reactive Programming
agda-ghc-names
Tool for making sense of the Haskell code generated by the Agda compiler
agda-github-syntax-highlighting
Syntax highlighting used on GitHub
agda-language-server
Language Server for Agda
agda-makefile
An makefile with lightweight dependency management
agda-ocaml
OCaml backend for Agda
agda-pkg
apkg - package manager for Agda
agda-spec
Specification of Agda.
agda-stdlib
The Agda standard library
agda-system-io
Bindings to Haskell's IO monad which respect Agda's semantics
agda-text-xml
Simple bindings for parsing, processing and serializing XML
agda-uhc
UHC backend for Agda
agda-web-semantic
Agda libraries for the semantic web
agda-web-uri
Simple bindings for parsing, processing and serializing URIs
agda2hs
Compiling Agda code to readable Haskell
bitvector
glguy's binary numbers with some extra stuff
categories
Categories parametrized by morphism equality, in Agda
categories-examples
Examples of categorical structures
cubical
An experimental library for Cubical Agda
fix-whitespace
Fixes whitespace issues
guarded
hs-tags
Generate ctags and etags for Haskell files
ooagda
Interactive and object-oriented programming in Agda using coinductive types
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.