🥳

ctmcdo

🥳

code_jam_attempts Public

post-event Code Jam attempts

Python Updated Nov 9, 2021
daily_coding_problem_attempt Public

Python Updated Sep 15, 2021
distributed_fs Public

Go Updated Mar 16, 2021
Epiphainein Public

Python Updated Feb 18, 2023
MAI Public

Updated Sep 22, 2022
mathlib4 Public
Forked from leanprover-community/mathlib4

The math library of Lean 4

Lean Apache License 2.0 Updated Aug 3, 2025
mFlag Public

Go Updated Mar 16, 2021
reference Public
Forked from openconfig/reference

This repository contains reference implementations, specifications and tooling related to OpenConfig-based network management.

Python Apache License 2.0 Updated Sep 12, 2022
TEA Public

Java Updated Mar 16, 2021
vim-gosu Public

Vim Script Updated Aug 22, 2018