colah / colah-essaysLinks
A place for me to keep essays/papers I'm working on...
☆33Updated 11 years ago
Alternatives and similar repositories for colah-essays
Users that are interested in colah-essays are comparing it to the libraries listed below
Sorting:
- Get a Brain☆24Updated 5 years ago
- A repository for generative models☆115Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 8 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 6 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- haskell neural network library☆112Updated 8 years ago
- playing with recurrent neural networks☆28Updated 9 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- ☆54Updated 9 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- n queens with the logic monad☆20Updated 10 years ago
- A fast, easy-to-use q-learning library for Haskell☆44Updated 9 years ago
- The BLOG programming language☆98Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- All stories and comments posted on Hacker News upto May 29, 2014☆128Updated 6 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- Neural Nets in native Haskell☆124Updated 4 years ago