Skip to content
@DSLsofMath

DSLsofMath

Pinned Loading

  1. DSLsofMath Public

    Domain-Specific Languages of Mathematics

    Haskell 423 50

Repositories

Showing 10 of 18 repositories
  • DSLsofMath Public

    Domain-Specific Languages of Mathematics

    Haskell 423 50 5 (3 issues need help) 0 Updated Jan 27, 2025
  • FPClimate Public

    PhD course on Functional Programming and Climate Impact Research

    Agda 49 3 0 0 Updated Nov 15, 2024
  • BScProj2024 Public

    A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.

    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).

    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

    Agda 6 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.

    Haskell 3 BSD-3-Clause 2 0 0 Updated Mar 21, 2023
  • FLABloM Public

    Functional Linear Algebra with Block Matrices

    Agda 9 0 0 0 Updated Feb 17, 2022
  • tfpie2018 Public
    TeX 1 BSD-3-Clause 0 0 0 Updated May 8, 2019
  • BScProj2018 Public
    Haskell 7 1 1 0 Updated Jul 10, 2018
  • ctfp2014 Public

    Lecture summaries for the course "Category Theory for Functional Programming", held in 2015 in Chalmers.

    8 1 0 0 Updated Mar 30, 2018