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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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.☆35Mar 7, 2026Updated 3 months ago
- FFT Explorations (basic implementation)☆10Aug 8, 2014Updated 11 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11May 2, 2019Updated 7 years ago
- A tool to help build chains of dependent nugets across many solutions☆11Apr 2, 2015Updated 11 years ago
- Highly scalable renderer backend☆10Mar 4, 2019Updated 7 years ago
- Some quick exploration of how k-means auto-encoders work☆10May 11, 2017Updated 9 years ago
- a crate for small packed strings☆18Oct 31, 2022Updated 3 years ago
- Basic dataset for the linguistic data collection.☆15Feb 13, 2017Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Getopt::Long, but simpler and more powerful☆20Feb 19, 2026Updated 3 months ago
- Javascript tokenizer for english sentences☆14Oct 15, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A lecture I gave at PyData NYC 2012 on using the networkx python library and Gephi to generate a mapping of the python community on Twitt…☆28Dec 6, 2012Updated 13 years ago
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Jun 7, 2010Updated 16 years ago
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 9 years ago
- Codes from (Codeforces, ICPC Live Archive, Project Euler, SPOJ BR, Topcoder, UVa ) problems.☆17Oct 15, 2019Updated 6 years ago
- Readline-style mappings for Kakoune.☆15Jul 19, 2020Updated 5 years ago
- The fundamental package for scientific computing with Python.☆22Dec 23, 2023Updated 2 years ago
- Nix build hook that forwards builds to job schedulers.☆32Mar 31, 2026Updated 2 months ago
- Nix build Scheduler☆11Nov 24, 2025Updated 6 months ago
- Formlets in F#☆18May 1, 2013Updated 13 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- An implementation of Racket's Scribble in Clojure☆23Sep 20, 2013Updated 12 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- A parser for MATLAB language☆12Apr 15, 2025Updated last year
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Reference stack for SMART Imaging API☆16Mar 12, 2025Updated last year
- fast unique variables☆10Aug 23, 2025Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Synthesis of molecules from fragments into larger molecules using graph-based representations and techniques.☆13Nov 25, 2015Updated 10 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- A library for generating RSS 2.0 feeds.☆18Jan 6, 2026Updated 5 months ago
- Among the many UI accomplishments by Keith Ohlfs at NeXT is this wonderful little font. It has never been modernized to work on the curre…☆24Jan 4, 2023Updated 3 years ago
- Identity value☆10Apr 27, 2022Updated 4 years ago