Pinned Repositories
bahug101
BAHUG101 class material
convex
Convex Optimization using Dependent Types and Matrix Free Formulations
functional-linear-algebra
Formalizing linear algebra in Agda by representing matrices as functions
functional-linear-algebra-talk
lc-2017-fusion
LambdaConf 2017 Fusion Presentation
lc-2018-linear-types
Practical Introduction to Substructural Type Systems through Linear Haskell and Rust for LambdaConf 2018
lc-2019-dependently-typed-convex-optimization
Dependently Typed Convex Optimiization
nix-configs
Unified user-level nix configuration
sbtb-2020-type-safe-fpga
Using Depdentent and Affine Types for robust FPGA programming
ryanorendorff's Repositories
ryanorendorff/functional-linear-algebra
Formalizing linear algebra in Agda by representing matrices as functions
ryanorendorff/sbtb-2020-type-safe-fpga
Using Depdentent and Affine Types for robust FPGA programming
ryanorendorff/lc-2017-fusion
LambdaConf 2017 Fusion Presentation
ryanorendorff/convex
Convex Optimization using Dependent Types and Matrix Free Formulations
ryanorendorff/bahug101
BAHUG101 class material
ryanorendorff/functional-linear-algebra-talk
ryanorendorff/lc-2019-dependently-typed-convex-optimization
Dependently Typed Convex Optimiization
ryanorendorff/nix-configs
Unified user-level nix configuration
ryanorendorff/lc-2018-linear-types
Practical Introduction to Substructural Type Systems through Linear Haskell and Rust for LambdaConf 2018
ryanorendorff/medical-imaging-nix
Packaging Medical Imaging Software with Nix
ryanorendorff/pyop
Matrix Free Linear Operators in Python
ryanorendorff/ryanorendorff.github.io
Code for ryan.orendorff.io
ryanorendorff/algebra_lambdaconf2016
Algebraic Operations and Dissections of Types
ryanorendorff/home-manager-configuration
Ryan's crazy Home Manager setup! :-D
ryanorendorff/lc-2020-linear-algebra-agda
Formalizes a matrix-free functional representation of linear algebra. Presentation for LambdaConf 2020
ryanorendorff/agda-stdlib
The Agda standard library
ryanorendorff/aoc2021
Advent of Code 2021, in Idris 2!
ryanorendorff/cubical
An experimental library for Cubical Agda
ryanorendorff/gitignore
The largest collection of useful .gitignore templates
ryanorendorff/intro_idris
Introduction to Idris
ryanorendorff/lambdaconf-2016-usa
Repository for LambdaConf 2016 USA.
ryanorendorff/nix-darwin
nix modules for darwin
ryanorendorff/nix-quartus
Nix Expressions for Altera(Intel) Quartus
ryanorendorff/nixpkgs
Nix Packages collection & NixOS
ryanorendorff/node-gateway
Blockchain node gateway.
ryanorendorff/plfa.github.io
Introduction to programming language theory in Agda
ryanorendorff/statsmodels
Statsmodels: statistical modeling and econometrics in Python
ryanorendorff/tablescope
CellScope TableScope iOS app for the attached tablet.
ryanorendorff/talloy
Strict impure Haskell
ryanorendorff/you-got-agda-in-my-haskell
You got Agda in my Haskell!