Codestin Search App

PolyP30 Public

DSLsofMath/PolyP30’s past year of commit activity

TeX 0 BSD-3-Clause 0 0 0 Updated Sep 19, 2025
FPClimate Public
PhD course on Functional Programming and Climate Impact Research

DSLsofMath/FPClimate’s past year of commit activity

Agda 50 3 0 0 Updated Sep 5, 2025
BScProj2026 Public

DSLsofMath/BScProj2026’s past year of commit activity

TeX 0 0 0 0 Updated Sep 5, 2025
DSLsofMath Public
Domain-Specific Languages of Mathematics

DSLsofMath/DSLsofMath’s past year of commit activity

Haskell 443 53 5 (3 issues need help) 0 Updated Aug 28, 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
tfpie2018 Public

DSLsofMath/tfpie2018’s past year of commit activity

TeX 1 BSD-3-Clause 0 0 0 Updated May 8, 2019

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

DSLsofMath

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!