DSLsofMath/DSLsofMath

Domain-Specific Languages of Mathematics

Language: Haskell - Size: 187 MB - Last synced at: 5 days ago - Pushed at: 11 days ago - Stars: 445 - Forks: 53

DSLsofMath/BScProj2026

Language: TeX - Size: 166 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

DSLsofMath/FPClimate

PhD course on Functional Programming and Climate Impact Research

Language: Agda - Size: 41.2 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 50 - Forks: 3

DSLsofMath/dimensionanalysis

Dimension analysis and graded algebras (source code for talk at the 2022-11 Agda meeting).

Language: TeX - Size: 69.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

DSLsofMath/ValiantAgda

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

Language: Agda - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 1

DSLsofMath/BScProj2024

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

Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DSLsofMath/tfpie2018

Language: TeX - Size: 1.12 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

DSLsofMath/OberwolfachMath4SciComp

Some material from the Oberwolfach Seminar: Mathematics for Scientific Computing

Language: Haskell - Size: 27.3 KB - Last synced at: almost 3 years ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0

DSLsofMath/BScProj2022

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

Language: Haskell - Size: 5.99 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 2

DSLsofMath/DSLM-peer-review

Instructions for the DSLsofMath course peer review of exercise solutions

Language: Haskell - Size: 4.88 KB - Last synced at: almost 3 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

DSLsofMath/BScProj2018

Language: Haskell - Size: 23.9 MB - Last synced at: almost 3 years ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 1

DSLsofMath/FLABloM

Functional Linear Algebra with Block Matrices

Language: Agda - Size: 530 KB - Last synced at: almost 3 years ago - Pushed at: almost 4 years ago - Stars: 9 - Forks: 0

DSLsofMath/tfpie2015

Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming

Language: TeX - Size: 1.5 MB - Last synced at: almost 3 years ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 0

DSLsofMath/BScProj2016

BSc project at Chalmers U. of Tech. 2016

Language: TeX - Size: 4.51 MB - Last synced at: almost 3 years ago - Pushed at: about 9 years ago - Stars: 3 - Forks: 2

DSLsofMath/ctfp2014

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

Size: 51.8 KB - Last synced at: almost 3 years ago - Pushed at: almost 8 years ago - Stars: 6 - Forks: 2

DSLsofMath/Hatlab

Plotting with Gnuplot in Haskell

Language: Haskell - Size: 214 KB - Last synced at: almost 3 years ago - Pushed at: almost 9 years ago - Stars: 4 - Forks: 0

DSLsofMath/DepTypeDecTh

Meeting on dependently typed decision theories, PIK 2017-03

Language: Haskell - Size: 11.7 KB - Last synced at: almost 3 years ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 0

DSLsofMath/ComputingAtSchool

Size: 1000 Bytes - Last synced at: almost 3 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

DSLsofMath/dsldi2015

Talk given at DSLDI 2015.

Language: TeX - Size: 211 KB - Last synced at: almost 3 years ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0