Fm Notes Alternatives

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Suggest Alternative
Alternatives To mgrabovsky/fm-notes
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
hmemcpy/milewski-ctfp-pdf 10,547 0 0 over 2 years ago 0 53 other TeX
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
steshaw/plt 5,018 0 0 over 2 years ago 0 0 CSS
Programming Language Theory λΠ
learn-anything/books 4,970 0 0 over 2 years ago 0 9 cc0-1.0
Awesome Books
liuxinyu95/unplugged 2,821 0 0 over 2 years ago 0 10 TeX
Open book about math and programming.
varkor/quiver 2,246 0 0 over 2 years ago 0 40 mit JavaScript
A modern commutative diagram editor for the web.
yishn/tikzcd-editor 1,364 0 0 over 5 years ago 0 10 mit JavaScript
A simple visual editor for creating commutative diagrams.
thma/LtuPatternFactory 958 0 0 over 2 years ago 0 10 apache-2.0 Haskell
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
bgavran/Category_Theory_Machine_Learning 921 0 0 over 2 years ago 0 0 Python
List of papers studying machine learning through the lens of category theory
JasonShin/fp-core.rs 644 0 0 over 5 years ago 0 25 mit Rust
A library for functional programming in Rust
bow-swift/bow 643 4 0 over 3 years ago 9 April 30, 2020 12 other Swift
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Alternatives To mgrabovsky/fm-notes
Select To Compare


Alternative Project Comparisons
Popular Category Theory Projects
Popular Coq Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.