Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
An Emacs development environment for Julia
-
A simple LLM client for Emacs
-
@getreuer's QMK community modules.
-
Logical manifestations of topological concepts, and other things, via the univalent point of view.
-
being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
-
Configuration of my operating system with Nix+Home Manager+Stylix+...
-
🏛️ TempEl - Simple templates for Emacs
-
scroll Emacs like lightning
-
Boost eglot using lsp-booster
-
Functional teaching language for use in a discrete mathematics course