Awesome Open Source

Programming Languages

Search results for mathematics category theory

category-theory x

17 search results found

Unplugged ⭐ 2,821

Open book about math and programming.

Category Theory Programmers ⭐ 452

Category theory in the context of (functional) programming

Adjoint ⭐ 144

Thoughts on adjoint, norm and such.

Foundational Knowledge For Programmers ⭐ 112

List of resources about foundational knowledge for programmers (supposed to last a few decades)

A DSL for the internal language of a topos

Homotopy Rs ⭐ 54

A Rust/WASM implementation of homotopy.io

My mathematical Zettelkasten, created using forester.

Directsum.jl ⭐ 48

Tangent bundle, vector space and Submanifold definition

Abstracttensors.jl ⭐ 42

Tensor algebra abstract type interoperability setup

Opycleid ⭐ 27

Opycleid - A Python package for transformational music theory

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

Commutative Diagrams ⭐ 26

CoDi: Commutative Diagrams for TeX

(λ) Category theory and lambda calculus, Bachelor's thesis

Functional Programming From Scratch Ja ⭐ 20

関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜圏論からFRPの構築まで

Category Theory ⭐ 18

sometimes math is just too much fun

Awesome Double Categories ⭐ 15

A list of works and resources about double category theory, with a particular focus on applications.

Reed Thesis ⭐ 13

My undergradate thesis on coinductive types in univalent type theory

Cifl Math Library ⭐ 12

Basic mathematics library

Category Studygroup ⭐ 8

My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.

A computer algebra system in Smalltalk

Math Translations ⭐ 7

Hypertext translations of some classic mathematical papers into English

Related Searches

Javascript Mathematics (1,108)

Python Mathematics (567)

Algorithms Mathematics (199)

Tex Mathematics (198)

Mathematics Algebra (178)

Programming Mathematics (100)

1-17 of 17 search results

Privacy | About | Terms | Follow Us On Twitter

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