heathermiller / cvLinks
My CV
☆13Updated last month
Alternatives and similar repositories for cv
Users that are interested in cv are comparing it to the libraries listed below
Sorting:
- Materials and accompanying references for all things pwlconf related☆60Updated 5 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
- A six-panel artistic rendition of Alan Turing☆20Updated 5 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last week
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- My reading list☆83Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Python term rewriting☆30Updated 12 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts☆124Updated 14 years ago
- An attemps to make a document to help learn Haskell☆44Updated 6 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- ☆68Updated 10 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year