j2kun / eigenfaces

Related projects ⓘ

Alternatives and complementary repositories for eigenfaces

• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 9 years ago
• joelgrus / science-questions
  end-to-end data product for generating random science quizzes
  ☆19Updated 8 years ago
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆9Updated 3 months ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated 10 months ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• acowley / LinearLogic
  A simple development of linear logic in Coq.
  ☆12Updated 2 years ago
• idontgetoutmuch / largeword
  Provides Word128, Word192 and Word256 for and a way of producing other large words if required.
  ☆9Updated 5 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 8 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• joom / regexp-agda
  ☆10Updated 5 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated 8 months ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 10 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• ajtulloch / hopfield-networks
  Hopfield Networks for unsupervised learning in Haskell
  ☆16Updated 10 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• conal / talk-2016-generic-parallel-scan
  Talk on generic parallel scan
  ☆14Updated 7 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• ekmett / fractions
  lazy continued fractions
  ☆18Updated 9 years ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 7 years ago