mjdominus / topology-docView external linksLinks
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.☆35Apr 23, 2020Updated 5 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 2 years ago
- A topology textbook with a hubristic title☆31Jan 13, 2016Updated 10 years ago
- Machine Learning Algorithms to predict overall movie gross using IMDB dataset from kaggle☆11Dec 14, 2016Updated 9 years ago
- review of Deep Learning for Nature☆32Sep 23, 2015Updated 10 years ago
- Facial-Expression Recognition with Deep Neural Networks☆10Mar 6, 2016Updated 9 years ago
- AI program that uses word associations, a directed weighted graph, and machine learning☆12Jun 5, 2010Updated 15 years ago
- Code and subset of data for "An exploratory analysis of emotion dynamics between mothers and adolescents during conflict discussions" (Ma…☆10Oct 3, 2016Updated 9 years ago
- A CUDA Library for Parallel n-body Integrations with focus on Simulations☆17Jul 2, 2014Updated 11 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
- Code for "CharManteau: Character Embedding Models For Portmanteau Creation. EMNLP 2017. Varun Gangal*, Harsh Jhamtani*, Graham Neubig, Ed…☆10Jun 20, 2019Updated 6 years ago
- 👋 Documentation, notes, drafts, and information.☆11Feb 27, 2019Updated 6 years ago
- Public GIT for the Qora cryptocurrency project.☆14Oct 1, 2020Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A protovis visualization of the linked open data cloud.☆26Jul 25, 2011Updated 14 years ago
- DEPRECATED☆10Mar 14, 2020Updated 5 years ago
- Addressing Training-Test Class Distribution Mismatch in Conversational Classification for SemEval-2019 Task3 EmoContext☆10Apr 9, 2019Updated 6 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Proximal Asynchronous SAGA☆13Nov 30, 2017Updated 8 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- using pvanet framework train mobilenet-v2 for objects detection, papaer: https://arxiv.org/abs/1611.08588☆13Feb 13, 2019Updated 7 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 4 months ago
- Cross-Platform Annotation Tool for Person Search Datasets☆11Aug 29, 2017Updated 8 years ago
- Test model for subsurface scattering☆10Aug 26, 2015Updated 10 years ago
- Discover, analyze and present data from the web and mobile in meaninful ways☆83Jul 16, 2013Updated 12 years ago
- ☆21Jan 23, 2016Updated 10 years ago
- An implementation of the Mixcoin mixing protocol☆13Nov 12, 2014Updated 11 years ago
- generate code_swarm data from Wikipedia page histories & user contributions☆25Nov 19, 2008Updated 17 years ago
- Some quick exploration of how k-means auto-encoders work☆11May 11, 2017Updated 8 years ago
- BXM for everywhere☆14Mar 31, 2023Updated 2 years ago
- ☆30Apr 27, 2012Updated 13 years ago
- View multiple App Store products from within an iOS app☆42Aug 5, 2025Updated 6 months ago
- A PyTorch re-implementation of Weakly Supervised Facial Action Unit Recognition through Adversarial Training☆10Apr 23, 2019Updated 6 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- Update info and deployment scripts for Brackets/Edge Code☆17Sep 6, 2021Updated 4 years ago
- Code used in the paper "On dynamic succinct graph representations".☆11Sep 2, 2021Updated 4 years ago