Short introduction to topology for people who don't really care about topology
☆49Jun 30, 2011Updated 15 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:
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 15 years ago
- variance-aware functional-programming in scala☆12Dec 30, 2010Updated 15 years ago
- Declarative constraint-based structured drawing system in Perl (as per chapter 9 of "Higher-Order Perl")☆18Jan 1, 2014Updated 12 years ago
- This is a django package that makes many django admin components available outside of the admin.☆10Mar 9, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A language with dependent types☆19Oct 7, 2011Updated 15 years ago
- The Scala runtime system for the Ermine programming language☆24Jun 10, 2014Updated 12 years ago
- ☆10Dec 4, 2024Updated last year
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- This project has moved:☆16Apr 24, 2014Updated 12 years ago
- Dependently-typed structures for quantum physics in Idris☆13Nov 25, 2015Updated 10 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- What perl balls are currently in the air?☆17Jan 2, 2016Updated 10 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Playing with Monad Transformers in scala☆10May 21, 2013Updated 13 years ago
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- Continued fraction library☆32Jul 16, 2020Updated 6 years ago
- scala embedded probabilistic programing library using delimited continuations (VERY Experimental)☆10Sep 10, 2010Updated 16 years ago
- CLR-Hosted Total Functional Programming Language☆11May 30, 2011Updated 15 years ago
- ☆12May 9, 2015Updated 11 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Another Erlang to Object Notation translator☆10Sep 27, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tools to support multiple GHC distributions in a Bash shell environment☆14Jul 11, 2019Updated 7 years ago
- Interval Tree Implementation created for CASSANDRA-1608☆11Jan 5, 2026Updated 9 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆39Jan 15, 2018Updated 8 years ago
- ☆22Jan 23, 2016Updated 10 years ago
- handler socket scala client☆11Dec 3, 2025Updated 10 months ago
- A Tiny programming language implemented in Racket (from /r/DailyProgrammer)☆14Sep 11, 2015Updated 11 years ago
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 11 years ago
- The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml☆17Oct 26, 2010Updated 16 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simple presentation tool for Emacs☆14Jan 10, 2017Updated 9 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- Web site for standardml.org.☆38Oct 17, 2023Updated 3 years ago
- This is a clone of https://code.google.com/p/macfuse/source/checkout from 2011.01.28.☆14Sep 5, 2023Updated 3 years ago
- An open source reimplementation of Neil Mitchell's Shake build system☆18Aug 19, 2013Updated 13 years ago
- A clone of the javaparser project, since that seemed dead. All submitted patches are accepted.☆11Feb 2, 2014Updated 12 years ago
- A collection of mistakes and errors to learn from.☆11Oct 18, 2019Updated 7 years ago