heathermiller / cvLinks
My CV
☆13Updated 2 weeks ago
Alternatives and similar repositories for cv
Users that are interested in cv are comparing it to the libraries listed below
Sorting:
- Haskell binding for PADS☆19Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A six-panel artistic rendition of Alan Turing☆20Updated 5 years ago
- Materials and accompanying references for all things pwlconf related☆59Updated 5 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated this week
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Lean Tutorials☆46Updated 4 years ago
- CPU Building Tutorial☆51Updated 7 years ago
- Short essays I've written☆79Updated last year
- A CSS specification and reasoning engine☆96Updated 2 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts☆124Updated 14 years ago
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 11 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Web-based reference manager, written in Haskell.☆30Updated 9 years ago
- Tools for interacting with Boogie☆47Updated 4 months ago
- ☆24Updated 6 years ago
- An attemps to make a document to help learn Haskell☆44Updated 6 years ago