☆30Apr 20, 2017Updated 8 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Python API for JobMine☆10Apr 15, 2016Updated 9 years ago
- Curated list of miscellaneous reading material.☆15Mar 11, 2017Updated 8 years ago
- Markov chains and statistical analysis tools for Facebook Chat.☆17May 31, 2015Updated 10 years ago
- some lecture notes from the University of Waterloo.☆95Oct 9, 2015Updated 10 years ago
- LaTeX class for writing work reports for the University of Waterloo.☆75Sep 29, 2015Updated 10 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Elasticsearch provider for Examine in Umbraco v8☆12Jan 15, 2024Updated 2 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆41Nov 8, 2014Updated 11 years ago
- Okta OIDC SDK for Xamarin☆10Sep 29, 2025Updated 5 months ago
- Ridiculously simple little script that cleans up after a zip file has spewed files all over your current directory☆24Nov 9, 2014Updated 11 years ago
- Try to downgrade the permissions of a process with root privileges☆17Aug 31, 2023Updated 2 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- ☆12May 9, 2015Updated 10 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Make WinRM service calls from NodeJS☆11Jan 4, 2023Updated 3 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Toolbox full of tools for Spelunky HD☆12Feb 27, 2026Updated last week
- In-memory distributed graph processing of trivially parallelizable graph algorithms.☆22Apr 17, 2013Updated 12 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- This library has moved to https://github.com/googleapis/sdk-platform-java/tree/main/java-shared-dependencies.☆11Jul 20, 2023Updated 2 years ago
- Strip shebang (eg. #!/bin/sh) from a string☆11Aug 18, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- ☆16Oct 15, 2024Updated last year
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- ☆15May 1, 2018Updated 7 years ago
- EditorConfig plugin for jEdit☆19Apr 21, 2025Updated 10 months ago
- Simple app that extracts text from PDF using pdf-parse and JavaScript. Taken from my YouTube video: https://youtu.be/enfZAaTRTKU☆12May 21, 2023Updated 2 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- 🐀 Move your mouse with your keyboard on linux☆17May 14, 2021Updated 4 years ago