Pinned Loading

1. functional-linear-algebra functional-linear-algebra Public

   Formalizing linear algebra in Agda by representing matrices as functions

   Agda 25 5

2. functional-linear-algebra-talk functional-linear-algebra-talk Public

   Nix 6 1

3. sbtb-2020-type-safe-fpga sbtb-2020-type-safe-fpga Public

   Using Depdentent and Affine Types for robust FPGA programming

   Verilog 10 1

4. convex convex Public

   Convex Optimization using Dependent Types and Matrix Free Formulations

   Haskell 9

5. lc-2019-dependently-typed-convex-optimization lc-2019-dependently-typed-convex-optimization Public

   Dependently Typed Convex Optimiization

   Haskell 5

6. lc-2018-linear-types lc-2018-linear-types Public

   Practical Introduction to Substructural Type Systems through Linear Haskell and Rust for LambdaConf 2018

   Haskell 3