mame/self-description-set 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

mame/self-description-set

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/mame/self-description-set)

Close

mame / self-description-setView on GitHubMore

• External links
• Readme badge

A formula that become itself when plotted

☆21Feb 29, 2024Updated 2 years ago

Alternatives and similar repositories for self-description-set

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

• Ziphil / Zenml

  View on GitHub
  TypeScript implementation of ZenML parser and XML manipulation utilities
  ☆10Feb 18, 2023Updated 3 years ago
• YnirPaz / PCF-Theory

  View on GitHub
  A formalization of PCF theory in lean
  ☆12Apr 5, 2025Updated last year
• extism / lean4-sdk

  View on GitHub
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆19Nov 26, 2024Updated last year
• mame / nextjs-quine

  View on GitHub
  A Quine of Next.js app https://nextjs-quine.vercel.app/
  ☆12Mar 25, 2021Updated 5 years ago
• mame / all-ruby-quine

  View on GitHub
  A Quine that works with all release versions of CRuby, from Ruby 0.49 to Ruby 3.2.1
  ☆32Dec 21, 2023Updated 2 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆16Updated this week
• artie2000 / real_closed_field

  View on GitHub
  Formalisation of the theory of real closed fields in Lean 4.
  ☆15Aug 2, 2026Updated last week
• lenianiva / Prismriver

  View on GitHub
  (Mirror) A Music formalization library and DSL in Lean 4
  ☆20Jul 15, 2026Updated 3 weeks ago
• ruby / repl_type_completor

  View on GitHub
  ☆53Jul 29, 2026Updated 2 weeks ago
• alexjbest / leaff

  View on GitHub
  Leaff is a diff tool for Lean environments
  ☆25Jan 18, 2025Updated last year
• leanprover-community / llm

  View on GitHub
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆29Jul 15, 2024Updated 2 years ago
• catatsuy / bento

  View on GitHub
  Bundled ENhancements for Tasks and Operations
  ☆15Updated this week
• hak7a3 / HyperTeXtTransferProtocol

  View on GitHub
  simple server
  ☆28Jan 12, 2025Updated last year
• lean-ja / lean99

  View on GitHub
  These are Lean translations of Ninety-Nine Haskell Problems (WIP)
  ☆16Feb 28, 2025Updated last year
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• SnO2WMaN / Ronald-McDonald-insanity

  View on GitHub
  M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ
  ☆10Nov 4, 2022Updated 3 years ago
• tyti / rtex

  View on GitHub
  ☆18Jul 12, 2024Updated 2 years ago
• marvinborner / BLoC

  View on GitHub
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Jan 21, 2024Updated 2 years ago
• marvinborner / FreedoWM

  View on GitHub
  Unusable but free and open-source window manager for Linux and *BSD (<500LOC)
  ☆14Jul 6, 2019Updated 7 years ago
• ko1 / kv

  View on GitHub
  kv: A page viewer written in Ruby
  ☆25May 26, 2022Updated 4 years ago
• AviCraimer / relational-calculus-library-lean4

  View on GitHub
  ☆13Mar 23, 2026Updated 4 months ago
• aruneko / texlive

  View on GitHub
  ☆16Mar 21, 2023Updated 3 years ago
• ctchou / AutomataTheory

  View on GitHub
  Automata theory in Lean
  ☆22Mar 25, 2026Updated 4 months ago
• nanikamado / momostr

  View on GitHub
  A WIP bridge between Nostr and Fediverse.
  ☆25May 5, 2025Updated last year
• 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.
• 1000-plus / 1000-plus.github.io

  View on GitHub
  https://1000-plus.github.io/
  ☆26Jul 22, 2026Updated 3 weeks ago
• Seasawher / mdgen

  View on GitHub
  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  ☆25Aug 8, 2026Updated last week
• uemurax / hott-ja

  View on GitHub
  HoTT in Japanese
  ☆38Oct 1, 2023Updated 2 years ago
• leanprover-community / con-nf

  View on GitHub
  A formal consistency proof of Quine's set theory New Foundations
  ☆86Feb 25, 2026Updated 5 months ago
• uwni / ruby-typ

  View on GitHub
  a library to implement ruby for typst language
  ☆30Jul 29, 2023Updated 3 years ago
• tydeu / lean4-itertools

  View on GitHub
  A Lean 4 library for iterators.
  ☆15Dec 10, 2023Updated 2 years ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Feb 26, 2026Updated 5 months ago
• nomeata / lean-calcify

  View on GitHub
  ☆34Jun 15, 2025Updated last year
• KislyjKisel / Raylib.lean

  View on GitHub
  Raylib bindings for Lean4
  ☆31Apr 28, 2025Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• ksss / mruby-stringio

  View on GitHub
  StringIO class for mruby
  ☆12Apr 7, 2025Updated last year
• leo-colisson / robust-externalize

  View on GitHub
  A LaTeX library to cache pictures (including tikz, python code, and more) in a robust, customizable, and pure way.
  ☆15Jun 16, 2026Updated last month
• LambdaNote / polished-ruby-ja-feedbacks-beta1

  View on GitHub
  『研鑚Rubyプログラミング』β版へのフィードバック
  ☆10Nov 30, 2021Updated 4 years ago
• dwrensha / Chess.lean

  View on GitHub
  Chess in Lean 4
  ☆37Feb 14, 2026Updated 6 months ago
• hone / mruby-cli-docker

  View on GitHub
  docker container for building mruby clis
  ☆11Jul 7, 2017Updated 9 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• reilabs / proven-zk

  View on GitHub
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆50May 27, 2026Updated 2 months ago