heathermiller / cv

Related projects ⓘ

Alternatives and complementary repositories for cv

• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆16Updated 8 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 9 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 4 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• bamos / beamer-snippets
  Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.
  ☆109Updated 9 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆29Updated 8 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆45Updated 5 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• ocharles / pandoc-live
  Automatically refresh Pandoc documents in your web browser
  ☆52Updated 7 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• j2kun / art-turing-ellipse
  A six-panel artistic rendition of Alan Turing
  ☆20Updated 4 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆61Updated 5 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• purukaushik / acm-pandoc-paper
  Write your project report/academic paper in Markdown and convert it with ease to the ACM format
  ☆44Updated 7 years ago