Alternatives and similar repositories for cv

Users that are interested in cv are comparing it to the libraries listed below

• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 13 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆16Updated 7 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 11 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 5 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 7 years ago
• beastaugh / hatt
  Truth-table generator for classical propositional logic
  ☆26Updated 4 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 7 years ago
• rudymatela / concise-cheat-sheets
  Cheat Sheets for programming languages and tools
  ☆115Updated 2 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 11 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆44Updated 6 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 7 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 11 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 10 years ago
• hellerve / ptolemy
  My reading list
  ☆85Updated 3 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆46Updated 3 years ago
• ehud / MIU
  MIU from GEB, circa 1980
  ☆16Updated 8 years ago
• DianaPajon / tiger
  A Haskell implementation of the tiger compiler
  ☆10Updated 5 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated last month
• SamuelSchlesinger / AutomataTheory
  ☆21Updated 5 years ago