Beast code in Giters

matcha-svg's starred repositories

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION1091000

📜 Haskell course info, plan, video lectures, slides

Language:HaskellMPL-2.0125300

Lean 4 programming language and theorem prover

Language:LeanApache-2.0447000

Themes for the kitty terminal emulator

Language:PythonGPL-3.040300

🖥️ Soothing pastel theme for the Linux TTY

Language:ShellMIT10300

Use your macOS terminal shell to do awesome things.

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

CC0-1.03255900

A curated list of Rust code and resources.

Language:RustCC0-1.04573900

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

Language:JavaScriptCC0-1.07487100

Cross-platform, fast, feature-rich, GPU based terminal

Language:PythonGPL-3.02373900

Awesome list of resources for the Helix editor

CC0-1.016400

➿ Soothing pastel theme for Helix!

Language:JustMIT15100

iTerm2 is a terminal emulator for Mac OS X that does amazing things.

Language:Objective-CGPL-2.01511000

A post-modern modal text editor.

Language:RustMPL-2.03258000