#
Lists (32)
π½ Animation
5 repositories
πΌοΈ Art
3 repositories
π Binary Formats
55 repositories
π Bootstrapping
49 repositories
ποΈ Build systems
11 repositories
π Compilation
30 repositories
π¨ Creative Tools
37 repositories
π Data Layout
3 repositories
π± Digital Gardens - Examples
9 repositories
π± Digital Gardens - Tools
42 repositories
π Documentation - Tools
3 repositories
π Effects
Effect systems, Algebraic effects and handlers⦠resources, languages, libraries and use cases53 repositories
π£ Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
π Fish Shell
4 repositories
π Fonts
27 repositories
πΉοΈ Game Development
2 repositories
πΉοΈ Games
2 repositories
π Geometric Algebra
18 repositories
π Memory Safe by Default
4 repositories
π± Module Systems - Case Studies
3 repositories
π± Module Systems - Languages
12 repositories
π‘ My Stack
14 repositories
βοΈ Nix - Example Configurations
12 repositories
βοΈ Nix - Tools
34 repositories
πΎ Nostalgia
28 repositories
πͺ OCaml - js_of_ocaml
3 repositories
π Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
π² Property Based Testing
4 repositories
πΌ Shaders
16 repositories
β± Staged Programming
6 repositories
π³ Structural Editing
14 repositories
π World Building - Conlanging
8 repositories
Starred repositories
13
stars
written in Emacs Lisp
Clear filter
An Emacs framework for the stubborn martian hacker
GNU Emacs / N Ξ N O - Emacs made simple
A very minimal but elegant emacs (I think)
A dark and sleek Emacs setup for general purpose editing and programming
Org Roam integration with bibliography management software
Structured editing minor mode for Haskell in Emacs
A Coq IDE build on top of Proof General's Coq mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Code and text from "Symbolic Processing In Pascal" by Professor Manfred von Thun