Pinned Loading

1. Soup Soup Public

   Extra and extended datatypes for Lean 4

   Lean 11

2. joes-esolangs/barrel joes-esolangs/barrel Public

   An esoteric RPN golfing language

   Racket 23 1

3. cantor cantor Public

   Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.

   Lean 5

4. joes-esolangs/smalc joes-esolangs/smalc Public

   a jokingly better desmos scientific calculator (stands for smart calc; and its written in elixir)

   Erlang 7

5. joes-esolangs/smalcw joes-esolangs/smalcw Public

   online website and repl for the all amazing smalc

   Elixir

6. joes-esolangs/cassette joes-esolangs/cassette Public

   a new evolutionary highlevel and readable tape language (unlike brainf)

   Prolog 16 3