mame / self-description-set
A formula that become itself when plotted
☆20Updated 11 months 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
- ☆45Updated 2 years ago
- Distributed search engine☆55Updated 5 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆20Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last year
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.☆72Updated 9 months ago
- The functional programming language for scalable development☆34Updated 3 weeks ago
- concise functionless functional esolang☆14Updated 11 months ago
- A Quine of Next.js app https://nextjs-quine.vercel.app/☆12Updated 3 years ago
- the peachili( Peach + Chili) programming language☆11Updated 3 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆28Updated 2 years ago
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Updated last year
- Linear Logic Toy on Browser☆9Updated 9 years ago
- Programming language implementation for learning purposes☆16Updated this week
- Opcode / Instruction finder for x86_64☆69Updated last year
- Math matrix library for SATySFi☆15Updated 5 years ago
- A programming language for double-entry accounting, inspired by Beancount.☆17Updated last month
- A Docker image that prints Dockerfile that generated the image iself☆45Updated 2 years ago
- A self-reproducing program that shapes the station names of Yamanote Line☆46Updated 4 years ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 6 years ago
- optimizing compiler for a subset of C language☆34Updated 5 years ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Updated 3 years ago
- A self hosted whitespace compiler☆32Updated 4 years ago
- C++11TMP compile time C compiler☆27Updated 7 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated last week
- A Formal Verification of Algorithm W☆17Updated 3 years ago
- A statically typed functional programming language.☆41Updated this week
- The uncurried minimal functional programming language for CPS transformation☆18Updated 11 months ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- Toy virtual machine and JIT Engine with JavaScript Like Syntax☆14Updated 5 years ago