gleblobanov

gleblobanov's Stars

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

  Language:Shell171k2.6k4.8k25.7k

• rust-lang/rustlings

  :crab: Small exercises to get you used to reading and writing Rust code!

  Language:Rust51.1k3216089.9k

• microsoft/cascadia-code

  This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

  Language:Python25.1k249609796

• VSCodium/vscodium

  binary releases of VS Code without MS branding/telemetry/licensing

  Language:Shell24.3k2091.2k1k

• emilk/egui

  egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

  Language:Rust20.7k1261.8k1.5k

• be5invis/Iosevka

  Versatile typeface for code, from code.

  Language:JavaScript18.7k1931.9k563

• hmemcpy/milewski-ctfp-pdf

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

  Language:TeX10.8k242161572

• golang/tools

  [mirror] Go Tools

  Language:Go7.3k29202.2k

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.6k802k233

• guptarohit/asciigraph

  Go package to make lightweight ASCII line graph ╭┈╯ in command line apps with no other dependencies.

  Language:Go2.6k302199

• Bismuth-Forge/bismuth

  KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

  Language:TypeScript2.4k2129792

• joaotavora/eglot

  A client for Language Server Protocol servers

  Language:Emacs Lisp2.2k39580203

• rougier/elegant-emacs

  A very minimal but elegant emacs (I think)

  Language:Emacs Lisp1.4k302179

• haskell/haskell-mode

  Emacs mode for Haskell

  Language:Emacs Lisp1.3k51963339

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell566456176

• 11111000000/tao-theme-emacs

  tao-theme - two uncoloured color themes for EMACS

  Language:Emacs Lisp431162834

• fxn/vim-monochrome

  Monochrome color scheme for Vim

  Language:Vim Script3105858

• acowley/Frames

  Data frames for tabular data.

  Language:Haskell2951812541

• AllenDang/cimgui-go

  Auto generated Go wrapper for Dear ImGui via cimgui

  Language:C++295611942

• Carnap/Carnap

  A formal logic framework that runs in the browser

  Language:Haskell2612027828

• Lokaltog/vim-monotone

  A dark, monochrome colorscheme for vim

  Language:Vim Script21551119

• haskell/hie-bios

  Set up a GHC API session for various Haskell Projects

  Language:Haskell1781715362

• serokell/universum

  :milky_way: Prelude written in @Serokell

  Language:Haskell1733517026

• haskell-game/dear-imgui.hs

  Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

  Language:Haskell133114931

• leanprover/lean4-mode

  Emacs major mode for Lean 4

  Language:Emacs Lisp5271621

• tmalsburg/tango-plus-theme

  Color theme for Emacs loosely based on the tango palette

  Language:Emacs Lisp446512

• patrickallaert/php-sample-application

  PHP 7.1 sample application

  Language:PHP362173

• SiriusCourses/vscode-psql-hasql

  VSCode extension to validate hasql expressions on the fly

  Language:TypeScript40

• ptxmac/cimgui-go-examples

  Language:Go3201

• neoascetic/notes

  These are not the droids you are looking for

  136