mcs0042's Stars
be5invis/Iosevka
Versatile typeface for code, from code.
sindresorhus/awesome
😎 Awesome lists about all kinds of interesting topics
patoline/patoline
Patoline typesetting system
paarthneekhara/text-to-image
Text to image synthesis using thought vectors
as/a
A graphical text editor
wilbowma/cur
A less devious proof assistant
oridb/mc
Myrddin Compiler
browsh-org/browsh
A fully-modern text-based browser, rendering to TTY and browsers
egison/egison
The Egison Programming Language
torvalds/linux
Linux kernel source tree
mkermani144/wanna
💡✔ Wanna is an implementation of a 21st-century to-do list app.
edwinb/Blodwen
A prototype successor to Idris
HarveyHunt/howm
A lightweight, X11 tiling window manager that behaves like vim
way-cooler/way-cooler
Wayland compositor for AwesomeWM
alacritty/alacritty
A cross-platform, OpenGL terminal emulator.
venam/2bwm
A fast floating WM written over the XCB library and derived from mcwm.
NixOS/nixpkgs
Nix Packages collection & NixOS
lamdu/lamdu
lamdu - towards the next generation IDE
onivim/oni
Oni: Modern Modal Editing - powered by Neovim
Delapouite/kakoune-electron
A kakoune GUI made in electron
links-lang/links
Links: Linking Theory to Practice for the Web
Shen-Language/shen-sources
Shen language kernel sources for porters
stumpwm/stumpwm
The Stump Window Manager
ollef/sixten
Functional programming with fewer indirections
addy-dclxvi/tint2-theme-collections
My personal backup repository of Tint2 themes
jupyterlab/jupyterlab
JupyterLab computational environment.
githwxi/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
martanne/vis
A vi-like editor based on Plan 9's structural regular expressions
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
xi-editor/xi-editor
A modern editor with a backend written in Rust.