quinn-dougherty Goto Github PK

hs-to-coq-project-template

A template for a proof engineering project with the `hs-to-coq` tool https://github.com/plclub/hs-to-coq/

hutton

walking through hutton's haskell book.

interpretability-reading-group-summaries

Summaries by the Interpretability group in Eleuther

intro-python-i

Introduction to Python basics

intro-python-ii

Second part of introduction to Python basics

kernel_density

Implementation of Kernel Density Estimation as a Rust library.

ladr

linear algebra done right in coq

lambdata

python package with helper funcs for data science

lambdata-1

Python package with helpful utility functions for Data Science!

legos

manim

Animation engine for explanatory math videos

marl-cpr-dataphilly-talk

talk at the philadelphia data science meetup on multi-agent reinforcement learning https://www.meetup.com/DataPhilly/events/281132668

math-as-code

a cheat-sheet for mathematical notation in code form

missingness-lightningtalk

lightningtalk about missingness @ fat cat FAB LAB, Monday June 24th

mypy-ci-tutorial

tutorial on mypy, programming with types, and continuous integration --- python 3.7

neural-net-coq-interp

Some experiments with doing NN interpretability in Coq

next-app-with-squiggle

NextJS template for Squiggle presentations

nixos-hardware

A collection of NixOS modules covering hardware quirks.

nixpkgs

Nix Packages collection

oplss-notes-2018

Notes and handouts from OPLSS 2018

org-bet

I wanted to use Manifold Markets in emacs, because of my diseases and conditions.

paco

A Coq library for parametric coinduction

pandoc-markdown-template

Markdown templates for Pandoc

paper-summaries-summer21

Summaries of ML papers

personal

build files, bashrc, os stuff, vim config, some emacs notes, etc.

petrov-day

New game at Washifold for the 39th petrov day.

phys140

physics 140 at ccp

pop-w-delta

portfolio

tools and snippets excerpted out from projects

practicing-rails

rails started app, set up with nix