Alternatives and similar repositories for numbers:

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

• TodePond / SandLab
  a splitting sand game
  ☆16Updated 2 years ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• joshuahhh / drostes-lair
  ☆16Updated last month
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆14Updated last month
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• codereport / hoogle-translate
  ☆85Updated this week
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 7 months ago
• fcrozatier / champagne
  champagne
  ☆32Updated last year
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• nilaymaj / esolang-park
  An online visual debugger for esoteric languages
  ☆49Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• TodePond / MotherTode
  language language
  ☆21Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last week
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆81Updated last year
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆52Updated 3 months ago
• SylvanFranklin / nonsense
  huristically curate dynamic injection-node based psudo-publications™
  ☆71Updated last month
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 8 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• erich-friedman / erich-friedman.github.io
  ☆48Updated 3 weeks ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• TodePond / Habitat
  my javascript helpers
  ☆45Updated 11 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• MartinSStewart / ascii-collab
  A website for drawing ascii art with other people!
  ☆33Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆22Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated 2 weeks ago
• alikiki / baby-tldraw
  An infinite canvas implementation in <500 LOC.
  ☆23Updated 11 months ago