Alternatives and similar repositories for cv

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

• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• keean / elements_in_rust
  Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
  ☆22Updated 9 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• hellerve / ptolemy
  My reading list
  ☆84Updated 3 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆13Updated 3 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated last month
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 7 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• ocharles / pandoc-live
  Automatically refresh Pandoc documents in your web browser
  ☆50Updated 8 years ago
• TikhonJelvis / talks
  Slides for my talks at various meetups.
  ☆22Updated 3 months ago
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 8 years ago
• dartar / The-Beauty-of-LaTeX
  A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts
  ☆124Updated 14 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
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆25Updated 3 months ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Updated 4 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆160Updated 4 years ago
• thayerw / msi-xmonad
  xmonad.hs (Xmonad >= 0.9) and related config files for my MSI Wind netbook
  ☆25Updated 14 years ago
• wonks / wonks.github.io
  PL Wonks website
  ☆12Updated last week
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆59Updated 11 years ago
• cpitclaudel / esh
  Use Emacs to highlight source code listings in LaTeX and HTML documents!
  ☆18Updated 2 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆102Updated last year
• pdgessler / pdg-vita
  ☆48Updated 9 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• oinkina / Lambda-Oinks
  Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.
  ☆25Updated 11 years ago
• jgm / pandoc-types
  types for representing structured documents
  ☆119Updated last week