AlgebraicJulia/Catlab.jl
View on GitHub ↗ ★ 732 Julia
A framework for applied category theory in the Julia language
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2021-06-06 · latest 2021-12-21
20082026
-
…Programmers by Bartosz Milewski 2. Category Theory for the Science by David Spivak 3. Catlab.jl: https://github.com/AlgebraicJulia/Catlab.jl 4. Semagrams.jl: https://github.com/AlgebraicJulia/Semagrams.jl Feel free to star or follow this…
comment by thecedarprince · 2021-12-21 · in Crash Course Category Theory – C3T -
…very practical use cases like GPU computation. [1] https://www.youtube.com/watch?v=mQnSRfseu0c [2] https://github.com/AlgebraicJulia/Catlab.jl [3] https://en.wikipedia.org/wiki/Abstract_interpretation
comment by BadInformatics · 2021-07-26 · in What's bad about Julia? -
…That doesn't mean there is a dearth of PL and systems knowledge in the Julia community though. [1] https://github.com/AlgebraicJulia/Catlab.jl [2] https://www.youtube.com/watch?v=tRBl-6uEJJE [3] https://github.com/JuliaParallel/Dagger.jl/…
comment by BadInformatics · 2021-06-06 · in From Julia to Rust