DSLsofMath
Pinned Loading
Repositories
Showing 10 of 18 repositories
- BScProj2024 Public
A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.
DSLsofMath/BScProj2024βs past year of commit activity - dimensionanalysis Public
Dimension analysis and graded algebras (source code for talk at the 2022-11 Agda meeting).
DSLsofMath/dimensionanalysisβs past year of commit activity - BScProj2022 Public
A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.
DSLsofMath/BScProj2022βs past year of commit activity - tfpie2018 Public
DSLsofMath/tfpie2018βs past year of commit activity - BScProj2018 Public
DSLsofMath/BScProj2018βs past year of commit activity - ctfp2014 Public
Lecture summaries for the course "Category Theory for Functional Programming", held in 2015 in Chalmers.
DSLsofMath/ctfp2014βs past year of commit activity
Top languages
Loadingβ¦
Most used topics
Loadingβ¦