ryanorendorff Goto Github PK

agda-stdlib

The Agda standard library

algebra_lambdaconf2016

Algebraic Operations and Dissections of Types

aoc2021

Advent of Code 2021, in Idris 2!

bahug101

BAHUG101 class material

cont-bahug

Continuation Presentation for the Bay Area Haskell Users Group

convex

Convex Optimization using Dependent Types and Matrix Free Formulations

cubical

An experimental library for Cubical Agda

functional-linear-algebra

Formalizing linear algebra in Agda by representing matrices as functions

functional-linear-algebra-talk

functools

Functional Tools for Matlab

gitignore

The largest collection of useful .gitignore templates

home-manager-configuration

Ryan's crazy Home Manager setup! :-D

intro_idris

Introduction to Idris

lambdaconf-2016-usa

Repository for LambdaConf 2016 USA.

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

lc-2020-linear-algebra-agda

Formalizes a matrix-free functional representation of linear algebra. Presentation for LambdaConf 2020

masters_thesis

Investigations of Aqueous Europium: using Cavity Enhanced Absorption Spectroscopy

math-types-bayhac-2015

The Math of Types presentation for BayHac 2015

medical-imaging-nix

Packaging Medical Imaging Software with Nix

ncarflightmonitor

NCAR RAF real time data observer

nix-configs

Unified user-level nix configuration

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

proteios

Protein Visualization

pyop

Matrix Free Linear Operators in Python