jasonszhao's Stars
hadronized/luminance-rs
Type-safe, type-level and stateless Rust graphics framework
ngs-lang/ngs
Next Generation Shell (NGS)
mjg59/mei-amt-check
Check whether AMT is enabled and provisioned under Linux
mwitmer/guile-wm
A Window Manager Toolkit for Guile Scheme
material-shell/material-shell
A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate windows in order to improve productivity. It's meant to be 100% predictable and bring the benefits of tools coveted by professionals to everyone.
paperwm/PaperWM
Tiled scrollable window management for Gnome Shell
drym-org/symex.el
An intuitive way to edit Lisp symbolic expressions ("symexes") structurally in Emacs
rougier/mu4e-dashboard
A dashboard for mu4e (mu for emacs)
rougier/nano-emacs
GNU Emacs / N Λ N O - Emacs made simple
rougier/elegant-emacs
A very minimal but elegant emacs (I think)
comfies/tldrlfs
Too Long; Didn't Read Linux From Scratch
mut-ex/awesome-wm-nice
An Awesome WM module that add MacOS-like window decorations, with seamless titlebars, double click to maximize, and window shade feature
nix-community/nix-on-droid
Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]
limetext/lime
Open source API-compatible alternative to the text editor Sublime Text
kearch/kearch
Distributed search engine
steshaw/plt
Programming Language Theory λΠ
exelban/stats
macOS system monitor in your menu bar
rmculpepper/iracket
Jupyter kernel for Racket
lk-geimfari/awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
liljencrantz/crush
Crush is a command line shell that is also a powerful modern programming language.
doublecmd/doublecmd
Double Commander is a free cross platform open source file manager with two panels side by side.
racketscript/racketscript
Racket to JavaScript Compiler
Mercury-Language/mercury
The Mercury logic programming system.
dewitt/opensearch
OpenSearch is a collection of simple formats for the sharing of search results.
RJVB/afsctool
This is a version of "brkirch"'s afsctool utility that allows end-users to leverage HFS+ compression.
orbitdb/orbitdb
Peer-to-Peer Databases for the Decentralized Web
deadpixi/mtm
Perhaps the smallest useful terminal multiplexer in the world.
elixir-lang/gen_stage
Producer and consumer actors with back-pressure for Elixir
debiki/talkyard
A community discussion platform: Brings together the main features from StackOverflow, Slack, Discourse, Reddit, and Disqus blog comments.
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc