GeezerVison is showing github.com — DSLsofMath
Pinned
Loading
Domain-Specific Languages of Mathematics
Haskell
451
53
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
Sort
Showing 10 of 21 repositories
PermutationLehmer
Public
Agda code for the finite-permutations pearl (Jansson & Swierstra, submitted to JFP)
DSLsofMath/PermutationLehmer's past year of commit activity
Agda
2
MIT
0
0
0
Updated Sep 23, 2026
DSLsofMath
Public
Domain-Specific Languages of Mathematics
DSLsofMath/DSLsofMath's past year of commit activity
FPClimate
Public
PhD course on Functional Programming and Climate Impact Research
DSLsofMath/FPClimate's past year of commit activity
Agda
56
4
0
0
Updated May 25, 2026
DSLsofMath/PolyP30's past year of commit activity
TeX
1
BSD-3-Clause
0
0
0
Updated Oct 26, 2025
DSLsofMath/BScProj2026's past year of commit activity
TeX
0
0
0
0
Updated Sep 5, 2025
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
TeX
0
BSD-3-Clause
0
0
0
Updated Oct 14, 2024
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
TeX
2
CC0-1.0
0
0
0
Updated Jun 8, 2024
ValiantAgda
Public
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
DSLsofMath/ValiantAgda's past year of commit activity
Agda
7
BSD-3-Clause
1
0
0
Updated Dec 14, 2023
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
Haskell
3
BSD-3-Clause
2
0
0
Updated Mar 21, 2023
FLABloM
Public
Functional Linear Algebra with Block Matrices
DSLsofMath/FLABloM's past year of commit activity
Agda
11
0
0
0
Updated Feb 17, 2022
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.