Beast code in Giters

crab's repositories

Soup

Extra and extended datatypes for Lean 4

Language:Lean11 10

cantor

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

Language:Lean5 10

barrel

RPN but better, or worse. Who knows?

Language:RacketMIT300

leandiscord-weekly

Weekly challenges for the Lean Discord Server.

Language:LeanMIT3 20

fibex

Implementations of various fibonacci algorithms in Elixir

Language:Elixir1 10

CompressedBF

compressed brainf***

Language:PythonMIT010

covid_visualizations-WIP

A website with charts generated with F# using covid data.

Language:F#010

dict-rs

dictionary implementation in rust

Language:Rust000

FxyLang

Language:LeanApache-2.0000

golfed-racket

golfed racket code

Language:Racket010

GuessingGameSharp

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

Language:Lean010

leetcode

My leetcode solutions in a variety of languages.

Language:F#010

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

overlang

Submission for the Unnoficial Lang Jam

Language:F#010

prefect

A concatenative programming language based on relational algebra

MIT010

trinums

proof of triangular numbers using induction

Language:Lean010

union

union syntax sugar in elixir

Language:Elixir000

useless_macros

useless lean macros

Language:Lean010

were

A useless commandline to for counting, deleting, and replacing words

Language:F#010