mjdominus/topology-doc external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mjdominus/topology-doc

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mjdominus/topology-doc)

Close

mjdominus / topology-docView on GitHubMore

• External links
• Readme badge

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.

• retronym / scalaexchange-scalaz

  View on GitHub
  Code and presentation for
  ☆15Jun 26, 2011Updated 15 years ago
• edwinb / Ivor

  View on GitHub
  A type theory based theorem proving library
  ☆25Aug 23, 2011Updated 15 years ago
• edwinb / Idris-old

  View on GitHub
  A language with dependent types
  ☆19Oct 7, 2011Updated 14 years ago
• ermine-language / ermine-scala-core

  View on GitHub
  The Scala runtime system for the Ermine programming language
  ☆24Jun 10, 2014Updated 12 years ago
• arosien / scalaz-base-talk-201208

  View on GitHub
  ☆44Sep 2, 2012Updated 14 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• boyland / twelf-library

  View on GitHub
  Library classes for the Twelf Proof System
  ☆22Jun 16, 2020Updated 6 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆16Nov 29, 2014Updated 11 years ago
• peterlefanulumsdaine / Oberwolfach-explorations

  View on GitHub
  collaboration on work in progress
  ☆15Mar 4, 2011Updated 15 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 11 years ago
• mjdominus / cf

  View on GitHub
  Continued fraction library
  ☆32Jul 16, 2020Updated 6 years ago
• OpenMatt / GitDone

  View on GitHub
  GitHub Issues simplified
  ☆11Nov 26, 2015Updated 10 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 11 years ago
• idris-hackers / iQuery

  View on GitHub
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆39Jan 15, 2018Updated 8 years ago
• darpa-xdata / xlang

  View on GitHub
  ☆22Jan 23, 2016Updated 10 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• steshaw / mincaml

  View on GitHub
  The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
  ☆17Oct 26, 2010Updated 15 years ago
• ericfinster / opetopic

  View on GitHub
  Web based opetopic editor
  ☆37Oct 21, 2024Updated last year
• edwinb / EpiVM

  View on GitHub
  Epic - a Supercombinator Compiler
  ☆64Jun 12, 2015Updated 11 years ago
• dpiponi / formal-weyl

  View on GitHub
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Jul 25, 2018Updated 8 years ago
• SMLFamily / SMLFamily.github.io

  View on GitHub
  Web site for standardml.org.
  ☆38Oct 17, 2023Updated 2 years ago
• FFaissole / Valuations

  View on GitHub
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆13Feb 2, 2018Updated 8 years ago
• codacy / bitbucket-scala-client

  View on GitHub
  Simple Bitbucket Scala Client
  ☆10Updated this week
• scalaj / scalaj-reflect

  View on GitHub
  reflection library based on scalap and Scala signatures
  ☆17May 15, 2011Updated 15 years ago
• rescrv / demo-distributed-lock

  View on GitHub
  An example distributed lock using Replicant.
  ☆16Jan 8, 2014Updated 12 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• league / qcheck

  View on GitHub
  Library for automatic unit testing of Standard ML modules
  ☆70May 7, 2026Updated 4 months ago
• ermine-language / ermine-legacy

  View on GitHub
  DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README
  ☆20May 2, 2015Updated 11 years ago
• jonsterling / hs-abt

  View on GitHub
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Oct 1, 2017Updated 8 years ago
• idris-hackers / eff-tutorial

  View on GitHub
  An old tutorial for using `Effects` in Idris.
  ☆23Sep 10, 2015Updated 11 years ago
• gasche / popl2016-papers

  View on GitHub
  Links to publicly available preprints for the POPL'16 conference
  ☆121Nov 1, 2016Updated 9 years ago
• dwhjames / play-datomisca

  View on GitHub
  Play Datomisca, Play! Framework 2.3 module for Datomic
  ☆17Jan 25, 2016Updated 10 years ago
• iskandr / ocaml_llvm

  View on GitHub
  Toy compiler for OCaml Meetup
  ☆67Feb 25, 2012Updated 14 years ago
• mpickering / icfp2015-papers

  View on GitHub
  Accepted papers for ICFP 2015
  ☆45Mar 4, 2016Updated 10 years ago
• mvv / routineer

  View on GitHub
  Scala DSL for declaring HTTP routes
  ☆13Oct 27, 2019Updated 6 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• edwinb / SDL-idris

  View on GitHub
  SDL bindings package for idris
  ☆46Feb 26, 2020Updated 6 years ago
• frewsxcv / rust-crates-index-graph

  View on GitHub
  ☆11Aug 2, 2026Updated last month
• nkpart / adt

  View on GitHub
  ADTs for Ruby
  ☆23Feb 22, 2013Updated 13 years ago
• david-christiansen / idris-interaction.rkt

  View on GitHub
  A Racket library for interacting with Idris over the IDE protocol
  ☆30Nov 10, 2017Updated 8 years ago
• league / scala-type-anxiety

  View on GitHub
  Examples related to a meetup of New York Scala Enthusiasts
  ☆18Jul 14, 2010Updated 16 years ago
• nsaunders / trout-demo

  View on GitHub
  Trout and code sharing in PureScript
  ☆23Dec 15, 2019Updated 6 years ago
• kroneckerbio / kroneckerbio

  View on GitHub
  KroneckerBio modelling toolbox for systems biology
  ☆16Jan 1, 2026Updated 8 months ago