Pinned Repositories
barrel
RPN but better, or worse. Who knows?
cantor
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.
CompressedBF
compressed brainf***
fibex
Implementations of various fibonacci algorithms in Elixir
leandiscord-weekly
Weekly challenges for the Lean Discord Server.
Soup
Extra and extended datatypes for Lean 4
barrel
An esoteric RPN golfing language
cassette
a new evolutionary highlevel and readable tape language (unlike brainf)
smalc
a jokingly better desmos scientific calculator (stands for smart calc; and its written in elixir)
smalcw
online website and repl for the all amazing smalc
crabbo-rave's Repositories
crabbo-rave/Soup
Extra and extended datatypes for Lean 4
crabbo-rave/cantor
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.
crabbo-rave/barrel
RPN but better, or worse. Who knows?
crabbo-rave/leandiscord-weekly
Weekly challenges for the Lean Discord Server.
crabbo-rave/fibex
Implementations of various fibonacci algorithms in Elixir
crabbo-rave/CompressedBF
compressed brainf***
crabbo-rave/covid_visualizations-WIP
A website with charts generated with F# using covid data.
crabbo-rave/dict-rs
dictionary implementation in rust
crabbo-rave/FxyLang
crabbo-rave/golfed-racket
golfed racket code
crabbo-rave/GuessingGameSharp
crabbo-rave/langbot
Run code from many programming languages!
crabbo-rave/lean4
Lean 4 programming language and theorem prover
crabbo-rave/lean4-Hangman
UNFINISHED
crabbo-rave/leetcode
My leetcode solutions in a variety of languages.
crabbo-rave/mathlib4
Work in progress mathlib port for lean 4
crabbo-rave/nostrum_boilerplate
Simple boilerplate for Nostrum bots with slash commands support
crabbo-rave/overlang
Submission for the Unnoficial Lang Jam
crabbo-rave/prefect
A concatenative programming language based on relational algebra
crabbo-rave/trinums
proof of triangular numbers using induction
crabbo-rave/union
union syntax sugar in elixir
crabbo-rave/useless_macros
useless lean macros
crabbo-rave/were
A useless commandline to for counting, deleting, and replacing words