Skip to content

@DSLsofMath DSLsofMath

Change the repository type filter

All

    Repositories list

    20 repositories

    • FPClimate

      Public
      PhD course on Functional Programming and Climate Impact Research
      Agda
      •4•54•0•0•Updated Mar 23, 2026Mar 23, 2026

    • DSLsofMath

      Public
      Domain-Specific Languages of Mathematics
      languagecomputer-sciencecourse
      languagecomputer-sciencecoursefunctional-programmingmathematics
      Haskell
      •
      Other
      •54•444•5•0•Updated Mar 21, 2026Mar 21, 2026

    • PolyP30

      Public
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Oct 26, 2025Oct 26, 2025

    • BScProj2026

      Public
      TeX
      •0•0•0•0•Updated Sep 5, 2025Sep 5, 2025

    • BScProj2024

      Public
      A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • dimensionanalysis

      Public
      Dimension analysis and graded algebras (source code for talk at the 2022-11 Agda meeting).
      TeX
      •
      Creative Commons Zero v1.0 Universal
      •0•2•0•0•Updated Jun 8, 2024Jun 8, 2024

    • ValiantAgda

      Public
      Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •1•7•0•0•Updated Dec 14, 2023Dec 14, 2023

    • BScProj2022

      Public
      A proposal for a BSc thesis (group) project at Chalmers & UGOT. Domain Specific Languages for other courses.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•3•0•0•Updated Mar 21, 2023Mar 21, 2023

    • FLABloM

      Public
      Functional Linear Algebra with Block Matrices
      Agda
      •0•11•0•0•Updated Feb 17, 2022Feb 17, 2022

    • tfpie2018

      Public
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated May 8, 2019May 8, 2019

    • BScProj2018

      Public
      Haskell
      •1•7•1•0•Updated Jul 10, 2018Jul 10, 2018

    • ctfp2014

      Public
      Lecture summaries for the course "Category Theory for Functional Programming", held in 2015 in Chalmers.
      1•8•0•0•Updated Mar 30, 2018Mar 30, 2018

    • DSLM-peer-review

      Public
      Instructions for the DSLsofMath course peer review of exercise solutions
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Feb 12, 2018Feb 12, 2018

    • tfpie2015

      Public
      Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •0•9•0•0•Updated Dec 5, 2017Dec 5, 2017

    • ComputingAtSchool

      Public
      0•0•0•0•Updated Oct 8, 2017Oct 8, 2017

    • DepTypeDecTh

      Public
      Meeting on dependently typed decision theories, PIK 2017-03
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Mar 30, 2017Mar 30, 2017

    • Hatlab

      Public
      Plotting with Gnuplot in Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•0•0•Updated Feb 23, 2017Feb 23, 2017

    • BScProj2016

      Public
      BSc project at Chalmers U. of Tech. 2016
      TeX
      •2•3•0•0•Updated Oct 24, 2016Oct 24, 2016

    • OberwolfachMath4SciComp

      Public
      Some material from the Oberwolfach Seminar: Mathematics for Scientific Computing
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jan 11, 2016Jan 11, 2016

    • dsldi2015

      Public
      Talk given at DSLDI 2015.
      TeX
      •0•1•0•0•Updated Aug 24, 2015Aug 24, 2015
    ProTip! Don't forget that you can create saved views to keep track of your most important repositories!