mjdominus/cf 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/cf

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/cf)

Close

mjdominus / cfView on GitHubMore

• External links
• Readme badge

Continued fraction library

☆32Jul 16, 2020Updated 5 years ago

Alternatives and similar repositories for cf

Users that are interested in cf are comparing it to the libraries listed below

• pcapriotti / agda-base

  View on GitHub
  Base library for HoTT in Agda
  ☆39Apr 2, 2019Updated 6 years ago
• kb1dds / small_astrolabe

  View on GitHub
  A small astrolabe suitable for laser cutting
  ☆12May 23, 2024Updated last year
• UACalc / uacalcsrc

  View on GitHub
  The Universal Algebra Calculator
  ☆16Jun 11, 2022Updated 3 years ago
• jonsterling / agda-effectful-forcing

  View on GitHub
  Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…
  ☆13Sep 22, 2020Updated 5 years ago
• sagemath / sage-binder-env

  View on GitHub
  A Binder repo for SageMath computing environment
  ☆38Updated this week
• mikeshulman / dirtt

  View on GitHub
  Directed type theory for formal category theory
  ☆17Apr 7, 2017Updated 8 years ago
• favonia / homotopy

  View on GitHub
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Aug 14, 2014Updated 11 years ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆23Dec 15, 2022Updated 3 years ago
• kcsmnt0 / quotient

  View on GitHub
  quotient types in cubical Agda
  ☆24Feb 4, 2019Updated 7 years ago
• mortberg / AlgTop

  View on GitHub
  Haskell library of algebraic topology
  ☆26Sep 23, 2011Updated 14 years ago
• ericfinster / opetopes-in-agda

  View on GitHub
  Formalization of Opetopes and Opetopic Sets in Agda
  ☆18Dec 15, 2016Updated 9 years ago
• pcapriotti / hott-exercises

  View on GitHub
  Solutions of the exercises of the HoTT book
  ☆23Dec 15, 2016Updated 9 years ago
• ericfinster / catt.io

  View on GitHub
  Revised Omega-categorical Typechecker
  ☆27Nov 3, 2024Updated last year
• kb1dds / large_astrolabe

  View on GitHub
  Large astrolabe suitable for laser cutting
  ☆27May 9, 2022Updated 3 years ago
• mirleft / ocaml-asn1-combinators

  View on GitHub
  Embed typed ASN.1 grammars in OCaml
  ☆36Dec 17, 2024Updated last year
• timhutton / mandelstir

  View on GitHub
  Animating fractional iterations in the Mandelbrot Set and Julia Sets.
  ☆26Dec 2, 2020Updated 5 years ago
• mabotkin / complex

  View on GitHub
  A web application to visualize complex mappings.
  ☆31Oct 31, 2016Updated 9 years ago
• erpuno / hl7

  View on GitHub
  💠 HL7: FHIR Application Server ISO/HL7 27931:2009
  ☆11Feb 17, 2026Updated 2 weeks ago
• agda-attic / agda-frp-ltl

  View on GitHub
  An implementation of Functional Reactive Programming
  ☆41Mar 2, 2015Updated 11 years ago
• kangxyz / cubical-classics

  View on GitHub
  An attempt towards univalent classical mathematics in Cubical Agda.
  ☆32Sep 15, 2023Updated 2 years ago
• neel-krishnaswami / linearml

  View on GitHub
  A simple implementation of linear type theory
  ☆39Apr 21, 2017Updated 8 years ago
• effectfully / Generic

  View on GitHub
  A library for doing generic programming in Agda
  ☆36Jan 27, 2021Updated 5 years ago
• mortberg / gen-cart

  View on GitHub
  A Unifying Cartesian Cubical Set Model
  ☆35Oct 14, 2019Updated 6 years ago
• ayberkt / formal-topology-in-UF

  View on GitHub
  Formal Topology in Univalent Foundations (WIP).
  ☆37Jul 29, 2022Updated 3 years ago
• thescrivener / PursuingStacks

  View on GitHub
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆53Oct 20, 2021Updated 4 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• HoTT / M-types

  View on GitHub
  A formalization of M-types in Agda
  ☆36Mar 7, 2020Updated 5 years ago
• BekaValentine / SimpleFP

  View on GitHub
  A series of implementations of a simple functional programming language.
  ☆30Jan 4, 2016Updated 10 years ago
• andrejbauer / Homotopy

  View on GitHub
  Homotopy theory in Coq.
  ☆89Mar 26, 2011Updated 14 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• pulibrary / BlueMountain

  View on GitHub
  Project to digitize avant-garde periodicals
  ☆12May 13, 2022Updated 3 years ago
• elehcimd / hmm_filter

  View on GitHub
  hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)
  ☆12Jan 23, 2019Updated 7 years ago
• zaman13 / Vector-Field-Topolgy-2D

  View on GitHub
  An intuitive visualization of vector fields.
  ☆11Dec 16, 2022Updated 3 years ago
• Senseair-AB / Sunrise-Examples---Arduino

  View on GitHub
  Example code for Sunrise, written in Arduino.
  ☆12Aug 8, 2023Updated 2 years ago
• bit-player / primeafterprime

  View on GitHub
  Julia notebook for exploring correlations among consecutive primes.
  ☆10Sep 7, 2020Updated 5 years ago
• peterlefanulumsdaine / hott-limits

  View on GitHub
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Jan 11, 2015Updated 11 years ago
• OutliersCollective / Oculus_SNA

  View on GitHub
  ☆14Oct 27, 2014Updated 11 years ago
• synrc / chat

  View on GitHub
  💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…
  ☆11Feb 8, 2026Updated 3 weeks ago
• hz7k-nzw / sicp-in-smlnj

  View on GitHub
  This is a translation of source code from SICP into SML/NJ.
  ☆13Jun 2, 2010Updated 15 years ago