Short introduction to topology for people who don't really care about topology
☆49Jun 30, 2011Updated 14 years ago
Alternatives and similar repositories for topology-doc
Users that are interested in topology-doc are comparing it to the libraries listed below
Sorting:
- GitHub Issues simplified☆11Nov 26, 2015Updated 10 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Sort numbers in O(kN) time using JavaScript's typed arrays.☆35Updated this week
- MPI bindings for Haskell☆46Apr 1, 2023Updated 2 years ago
- A topology textbook with a hubristic title☆31Jan 13, 2016Updated 10 years ago
- AI program that uses word associations, a directed weighted graph, and machine learning☆12Jun 5, 2010Updated 15 years ago
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 10 years ago
- A CUDA Library for Parallel n-body Integrations with focus on Simulations☆17Jul 2, 2014Updated 11 years ago
- review of Deep Learning for Nature☆32Sep 23, 2015Updated 10 years ago
- Machine Learning Algorithms to predict overall movie gross using IMDB dataset from kaggle☆11Dec 14, 2016Updated 9 years ago
- Addressing Training-Test Class Distribution Mismatch in Conversational Classification for SemEval-2019 Task3 EmoContext☆10Apr 9, 2019Updated 6 years ago
- Code for "CharManteau: Character Embedding Models For Portmanteau Creation. EMNLP 2017. Varun Gangal*, Harsh Jhamtani*, Graham Neubig, Ed…☆10Jun 20, 2019Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- DEPRECATED☆10Mar 14, 2020Updated 5 years ago
- Public GIT for the Qora cryptocurrency project.☆14Oct 1, 2020Updated 5 years ago
- 👋 Documentation, notes, drafts, and information.☆11Feb 27, 2019Updated 7 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- Proximal Asynchronous SAGA☆13Nov 30, 2017Updated 8 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Component wrapper for MSC Nastran☆15Jul 25, 2014Updated 11 years ago
- Purescript bindings for Baidu's Echarts library☆36Jun 14, 2023Updated 2 years ago
- A parser for MATLAB language☆12Apr 15, 2025Updated 10 months ago
- ☆11Jul 6, 2022Updated 3 years ago
- Example of a simple particle filter for robot location, Stanford's Intro to AI☆12Nov 20, 2011Updated 14 years ago
- Codes from (Codeforces, ICPC Live Archive, Project Euler, SPOJ BR, Topcoder, UVa ) problems.☆17Oct 15, 2019Updated 6 years ago
- SimEc code relying on the theano library - check out the simec repo instead for keras based code!☆10Feb 28, 2018Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- #BEStartupManifesto website☆10May 9, 2015Updated 10 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- a humble blab.im clone☆10Jan 3, 2017Updated 9 years ago
- Hunting for daily rarities -- boozicorns, really -- from the Pennsylvania Liquor Control Board's databases.☆10Feb 18, 2017Updated 9 years ago
- Discover, analyze and present data from the web and mobile in meaninful ways☆83Jul 16, 2013Updated 12 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Generate word-word similarities from Gensim's latent semantic indexing (Python)☆11Jan 10, 2017Updated 9 years ago
- Documentation of various share urls and share intents☆15May 7, 2016Updated 9 years ago
- A straightforward object-oriented interactive fiction game engine to demonstrate quantum algorithms for agent-based AI pathfinding and he…☆12Nov 12, 2013Updated 12 years ago
- Simple python QAP minimiser☆10Sep 11, 2013Updated 12 years ago
- Material for the training on Numpy presented at EuroPython 2015☆10Aug 26, 2015Updated 10 years ago