oinkina / Lambda-OinksLinks
Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.
☆25Updated 11 years ago
Alternatives and similar repositories for Lambda-Oinks
Users that are interested in Lambda-Oinks are comparing it to the libraries listed below
Sorting:
- A topology textbook with a hubristic title☆31Updated 9 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 11 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 7 years ago
- Edward Tufte's ideas, applied to matplotlib☆57Updated 15 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Code for "Five Hundred Deep Learning Papers, Graphviz and Python" (http://goo.gl/l1PIoi)☆14Updated 9 years ago
- DeepAlgebra☆25Updated 7 years ago
- A blog post exploring a connection between neural networks and topology☆101Updated 6 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Haskell bindings to SymEngine☆26Updated last year
- A MiniKanren in Python☆35Updated 9 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- Python Cellular Sheaf Library☆144Updated 8 months ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- content repository for metacademy.org☆90Updated 8 years ago
- Dr. Bayes☆84Updated 9 years ago
- Numerical is the core library for Numerical Haskell☆138Updated last year
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 12 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- CHomP -- Computation Homology Project software☆47Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Slack plugin to render math using MathJax☆52Updated 7 years ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated last year
- A fast generic C++ library for applied and computational topology☆60Updated 9 years ago
- ☆63Updated 10 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 10 years ago