Skip to content

@DSLsofMath DSLsofMath

Change the repository type filter

All

    Repositories list

    18 repositories

    • DSLsofMath

      Public
      Domain-Specific Languages of Mathematics
      languagecoursefunctional-programmingmathematicscomputer-science
      Haskell
      •
      Other
      •50•425•5•0•Updated Feb 10, 2025Feb 10, 2025

    • FPClimate

      Public
      PhD course on Functional Programming and Climate Impact Research
      Agda
      •3•50•0•0•Updated Nov 15, 2024Nov 15, 2024

    • 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•6•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•9•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