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