j2kun / eigenfaces
Mathematica notebook and resources for the post "Eigenfaces"
☆22Updated 4 years ago
Alternatives and similar repositories for eigenfaces:
Users that are interested in eigenfaces are comparing it to the libraries listed below
- Boid flocking model in OpenGL☆12Updated 7 years ago
- Hopfield Networks for unsupervised learning in Haskell☆16Updated 10 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- Oplossing Examenvragen Numerieke Wiskunde (B-KUL-G0N90B)☆9Updated last year
- Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.☆19Updated 9 years ago
- stream processing library for formal power series and generating functions☆9Updated 4 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- ☆14Updated 10 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- ☆33Updated 8 years ago
- Floatworld is an artificial life environment in which virtual creatures compete for space and energy. Each creature is controlled by a ne…☆30Updated 5 years ago
- A tiny CPU☆20Updated 15 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- A simple development of linear logic in Coq.☆12Updated 3 years ago
- Braid representations in Haskell☆21Updated last year
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Truth-table generator for classical propositional logic☆26Updated 3 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- A type theory based theorem proving library☆25Updated 13 years ago