Aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Alternatives To Aopa
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Functional Programming1,117
3 months ago7otherTypeScript
Introduction to Functional Programming using TypeScript and fp-ts.
Fp Resources350
4 years ago
Functional programming great resources
Optimus13072 years ago10September 26, 2020lgpl-3.0Scala
Optimus is a mathematical programming library for Scala.
Lever99
6 years ago1mitHTML
A programming language in the Perl/Python/Ruby group
Laop79
9 months agoJune 06, 20209mitHaskell
Linear Algebra of Programming - Algebraic Matrices in Haskell
Notebooks65
9 years agoPython
Programming Exercises
Aopa61
8 years agoAgda
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Computer Science60
5 years ago1mit
🎓 Path to a free self-taught education in Computer Science!
Aftercsintro52
4 years ago
Finished with your first programming course and not sure how to go on? The Stanford Code in Place team shares a roadmap with what courses to follow and where to find information about them
Datascienceresources46
6 years agounlicense
数据科学相关的学习资源,例如MOOC课程,OCW课程,电子书等等。
Alternatives To Aopa
Select To Compare


Alternative Project Comparisons
Popular Programming Projects
Popular Algebra Projects
Popular Learning Resources Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Programming
Algebra
Dependent Types