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 6 years ago

Alternatives and similar repositories for cf

Users that are interested in cf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• MostAwesomeDude / continued

  View on GitHub
  Continued fractions in Python!
  ☆12Jul 17, 2011Updated 15 years ago
• marvinborner / lambda-screen

  View on GitHub
  🎨 Drawing images with lambda calculus
  ☆12Aug 27, 2026Updated 2 months 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 6 years ago
• mjdominus / Linogram

  View on GitHub
  Declarative constraint-based structured drawing system in Perl (as per chapter 9 of "Higher-Order Perl")
  ☆18Jan 1, 2014Updated 12 years ago
• masak / tardis

  View on GitHub
  Time traveling debugger in Perl 6
  ☆13Oct 26, 2016Updated 10 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• colomon / List-Utils

  View on GitHub
  List utility functions for Perl 6
  ☆13Aug 4, 2018Updated 8 years ago
• hiteshjasani / nim-d3

  View on GitHub
  Using the D3.js library from nim
  ☆18Nov 11, 2020Updated 5 years ago
• astump / hoc-notes

  View on GitHub
  Notes written while consulting for the Higher Order Company
  ☆17Sep 27, 2025Updated last year
• parrot / forth

  View on GitHub
  A Forth compiler for the Parrot Virtual Machine
  ☆16Aug 10, 2011Updated 15 years ago
• UACalc / uacalcsrc

  View on GitHub
  The Universal Algebra Calculator
  ☆16Sep 20, 2026Updated last month
• skooter500 / TunepalGodot

  View on GitHub
  This goal of this project is to create a new, modern Tunepal that solves a number of problems with the original, while providing a platfo…
  ☆12Mar 3, 2026Updated 8 months ago
• billwadge / pyLucid

  View on GitHub
  Book lucid interpreter written in python
  ☆25Jul 8, 2019Updated 7 years ago
• pcapriotti / agda-base

  View on GitHub
  Base library for HoTT in Agda
  ☆39Apr 2, 2019Updated 7 years ago
• sasagawa888 / Elxlisp

  View on GitHub
  Lisp1.5 interpreter/compier
  ☆17Jun 15, 2020Updated 6 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• ekmett / fractions

  View on GitHub
  lazy continued fractions
  ☆19Aug 5, 2015Updated 11 years ago
• mikeshulman / dirtt

  View on GitHub
  Directed type theory for formal category theory
  ☆19Apr 7, 2017Updated 9 years ago
• winspool / stdtests

  View on GitHub
  C / C++ Compiler and standard library Conformance Test Suite
  ☆19Nov 5, 2025Updated 11 months ago
• hanshuebner / secd

  View on GitHub
  MOVED to code.netzhansa.com/hanshuebner/secd. This GitHub mirror is archived.
  ☆36Nov 13, 2019Updated 6 years ago
• 5HT / DependentLinearPi

  View on GitHub
  A Dependently Typed Linear π-Calculus in Agda
  ☆17Oct 22, 2021Updated 5 years ago
• VictorTaelin / optimul

  View on GitHub
  Multiplication on optimal λ-calculus reducers
  ☆23Aug 14, 2020Updated 6 years ago
• kb1dds / small_astrolabe

  View on GitHub
  A small astrolabe suitable for laser cutting
  ☆13May 23, 2024Updated 2 years ago
• rjbs / perlball

  View on GitHub
  What perl balls are currently in the air?
  ☆17Jan 2, 2016Updated 10 years ago
• koko-m / GoI-Visualiser

  View on GitHub
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆15Oct 1, 2021Updated 5 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.
• Ovid / hop

  View on GitHub
  Higher Order Perl modules on the CPAN
  ☆25Mar 27, 2012Updated 14 years ago
• notbenh / euler_bench

  View on GitHub
  using the euler projects as a source to benchmark lanugages
  ☆24Feb 15, 2014Updated 12 years ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆25Dec 15, 2022Updated 3 years ago
• neerajsingh0101 / guides

  View on GitHub
  git ack vim regex JavaScript and other guides
  ☆18Sep 30, 2014Updated 12 years ago
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆29Aug 4, 2026Updated 3 months ago
• jmcnamara / spreadsheet-parseexcel

  View on GitHub
  Perl module to read Excel binary files
  ☆20Nov 23, 2025Updated 11 months ago
• rdmsr / sectorllm

  View on GitHub
  The world's smallest llama2 inference engine
  ☆52May 6, 2026Updated 5 months ago
• linas / anant

  View on GitHub
  Analytic Number Theory high-precision GnuMP routines
  ☆20Feb 3, 2024Updated 2 years ago
• g000001 / arc-compat

  View on GitHub
  Arc compatible package
  ☆15Nov 24, 2023Updated 2 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• yfyf / pierl

  View on GitHub
  Asynchronous pi-calculus in Erlang
  ☆14Feb 22, 2015Updated 11 years ago
• pis147879 / PELCR

  View on GitHub
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆30Updated this week
• aartaka / lamber

  View on GitHub
  A functional scripting language compiling to pure Lambda Calculus
  ☆34Nov 25, 2025Updated 11 months ago
• pigworker / Totality

  View on GitHub
  being the programs and code for a paper about general recursion
  ☆26Feb 15, 2015Updated 11 years ago
• timhutton / mandelstir

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

  View on GitHub
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆55Oct 20, 2021Updated 5 years ago
• matrix-nio / vodozemac-python

  View on GitHub
  Python bindings for vodozemac
  ☆11Jul 23, 2026Updated 3 months ago