mame / self-description-setLinks
A formula that become itself when plotted
☆21Updated last year
Alternatives and similar repositories for self-description-set
Users that are interested in self-description-set are comparing it to the libraries listed below
Sorting:
- Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.☆75Updated last year
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- Distributed search engine☆56Updated 6 years ago
- Bike game☆14Updated 11 months ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 5 months ago
- O(N log N)-space IPC solver in OCaml☆52Updated 2 years ago
- ☆45Updated 2 years ago
- A self-reproducing program that shapes the station names of Yamanote Line☆46Updated 5 years ago
- TypeScript type-level execution tool☆11Updated 2 years ago
- Math matrix library for SATySFi☆15Updated 5 years ago
- C Compiler written in TeX☆42Updated 8 years ago
- A collection of tricky code☆23Updated 8 years ago
- A statically typed functional programming language.☆45Updated this week
- コード例で学ぶ Lean 言語☆107Updated this week
- the peachili( Peach + Chili) programming language☆11Updated 4 years ago
- A Docker image that prints Dockerfile that generated the image iself☆45Updated 2 years ago
- A toy programming language which is a subset of OCaml.☆51Updated this week
- Multi-core suitable Forth-like language☆36Updated 4 months ago
- A compiler for language "memento"☆27Updated last month
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- The C3, SMT/SAT solver written in C.☆34Updated this week
- super tiny implementation of higher-order logic proof assistant in lean☆22Updated 5 years ago
- code-golf-oriented esoteric programming language☆45Updated 7 years ago
- Type-safe transformations and purifications of PreCures (Japanese battle heroine)☆21Updated last month
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Updated last year
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- A programming language for one-liner method chain lovers!☆23Updated last year
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Updated last year
- HoTT in Japanese☆34Updated last year