8000 DSLsofMath · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@DSLsofMath

DSLsofMath

Pinned Loading

  1. DSLsofMath DSLsofMath Public

    Domain-Specific Languages of Mathematics

    Haskell 437 52

Repositories

Showing 10 of 18 repositories
  • DSLsofMath Public

    Domain-Specific Languages of Mathematics

    DSLsofMath/DSLsofMath’s past year of commit activity
    Haskell 437 52 5 (3 issues need help) 0 Updated Mar 23, 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 Nov 15, 2024
  • 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

    < 8A1A poll-include-fragment src="/DSLsofMath/FLABloM/graphs/participation?h=28&type=sparkline&w=155" data-nonce="v1:cb2cd20f-8fa2-ec0c-ebba-9b88e8b02af8" data-view-component="true">
    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
  • BScProj2018 Public
    DSLsofMath/BScProj2018’s past year of commit activity
    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.

    DSLsofMath/ctfp2014’s past year of commit activity
    8 1 0 0 Updated Mar 30, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…
0