Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Astro
- AutoHotkey
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- D
- Dart
- Elm
- Emacs Lisp
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Nix
- OCaml
- Objective-C
- PHP
- Python
- Racket
- Ren'Py
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- Tcl
- TeX
- TypeScript
- Typst
- VBA
- Vala
- Vue
- Zig
High-performance TRAMP backend using JSON-RPC instead of shell parsing
Declarative, component-based UI library for Emacs. React-like components with state, hooks, reconciliation, and layouts - rendered using native Emacs widgets.
Modern daily journaling interface for Emacs with reactive sidebar widgets, built on vulpea
Database layer for org-mode notes with async indexing, rich queries, backlink discovery, and external change detection. Scales to 100k+ notes.
A place to collect things about Nix/NixOS, it is also where to keep my dotfiles.
AirPods liberated from Apple's ecosystem.
A modern static site generator by the Material for MkDocs team
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Calle 24 - Proxy Emacs image assets with SF Symbols
Display tone-based jumpy pronunciations in Typst
🥢像老乡鸡🐔那样做饭。主要部分于2024年完工,非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》,并做归纳、编辑与整理。CookLikeHOC.
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
The Kai Project, 一个开源的、便捷的、分享与讨论修考试题答案的地方,破除信息之壁。大学院入試(院試)過去問題の解答。
A simple, open source bilingual translation extension & Greasemonkey script (一个简约、开源的 双语对照翻译扩展 & 油猴脚本)