Awesome Open Source

Programming Languages

Search results for algebra agda

13 search results found

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

Abstract algebra for Rust (still very much a WIP!)

The theory of algebraic graphs formalised in Agda

Typing Linear Pi ⭐ 26

Typing the linear pi calculus in Agda

Agda Routing ⭐ 24

An Agda library for reasoning about asynchronous iterative algorithms and network routing problems

Relative Monads ⭐ 22

Relative Monad Library for Agda

Functional Linear Algebra ⭐ 20

Formalizing linear algebra in Agda by representing matrices as functions

Agda Relation Algebra ⭐ 12

Relational algebra implementation in Agda with simple bindings to SQLITE

Functional Linear Algebra with Block Matrices

Inductive_types ⭐ 8

Constructing Simple and Mutual Inductive Types in Agda.

Indind Agda ⭐ 6

Convex Optimization using Dependent Types and Matrix Free Formulations

Partiality Monad ⭐ 5

Related Searches

Mathematics Algebra (362)

C Plus Plus Algebra (332)

Matrix Algebra (308)

Types Agda (76)

Haskell Agda (72)

Agda Type Theory (44)

Graph Algebra (35)

Emacs Agda (29)

Calculus Agda (29)

Agda Dependent Types (27)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.