rami3l / clavy
An input source switching daemon for macOS.
☆19Updated 2 weeks ago
Alternatives and similar repositories for clavy:
Users that are interested in clavy are comparing it to the libraries listed below
- Typst integration for Astro☆42Updated 2 weeks ago
- preview your typst document in instant☆28Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 2 months ago
- A blazingly fast tool for converting to English punctuations☆10Updated 2 years ago
- Language server and other tools for WebAssembly.☆21Updated last week
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆19Updated 2 years ago
- pastebin written in pure rust. A rewrite of ptpb/pb.☆43Updated 2 years ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated last year
- Dead Simple Pinyin Language Server☆119Updated last year
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- Yet another Rust algebraic effect library using generators☆14Updated 3 months ago
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated last year
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- ☆24Updated last month
- ☆19Updated last year
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- truly native Rust HTTP client library☆26Updated 2 weeks ago
- My nixos configs☆41Updated this week
- Forge wonderful chat messages in typst☆85Updated 3 months ago
- Environment control for benchmarks☆14Updated 2 months ago
- ☆22Updated last year
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆25Updated last month
- RowScript programming language, making a better browser world☆121Updated this week
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- 豫言☆27Updated last week
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Typst math typesetting for the web.☆69Updated 9 months ago
- AsCii Movie (asciimation) https://ascii.moe☆16Updated 3 years ago
- A category and functional programing library for Zig language☆30Updated 2 months ago