crab's repositories
leandiscord-weekly
Weekly challenges for the Lean Discord Server.
CompressedBF
compressed brainf***
covid_visualizations-WIP
A website with charts generated with F# using covid data.
dict-rs
dictionary implementation in rust
Language:Rust000
Language:LeanApache-2.0000
golfed-racket
golfed racket code
Language:F#000
langbot
Run code from many programming languages!
Language:Rust000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
lean4-Hangman
UNFINISHED
mathlib4
Work in progress mathlib port for lean 4
Language:LeanApache-2.0000
nostrum_boilerplate
Simple boilerplate for Nostrum bots with slash commands support
Language:ElixirUnlicense000
union
union syntax sugar in elixir
Language:Elixir000
useless_macros
useless lean macros