A toy xmonad
☆31Mar 25, 2020Updated 5 years ago
Alternatives and similar repositories for txmonad
Users that are interested in txmonad are comparing it to the libraries listed below
Sorting:
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- Learn Haskell☆14Jun 10, 2022Updated 3 years ago
- Emacs plugin for communication with Sourcetrail☆23Apr 11, 2017Updated 8 years ago
- Cicada Language (solo version)☆128Dec 25, 2024Updated last year
- A collection of PLT researching☆29Feb 21, 2025Updated last year
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- IO lib for haskell☆99May 20, 2024Updated last year
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 5 years ago
- notes on topos theory (Chinese)☆15Nov 28, 2024Updated last year
- QUIC based speed test app☆12Apr 24, 2021Updated 4 years ago
- KDocTools☆11Feb 20, 2026Updated last week
- 喜鹊派员工餐配方存档☆11Jun 13, 2024Updated last year
- 如果写一本关于自己的书，最重要的第一件事，一定是给最趁手的钢笔，灌上最心爱的墨水。☆12Jan 6, 2026Updated last month
- C++ Reflection Utilities☆14Nov 12, 2025Updated 3 months ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 7 months ago
- ☆14Oct 30, 2024Updated last year
- A nixos configuration that works with VS Code☆10Aug 8, 2025Updated 6 months ago
- Source code of our paper "Focus on the Target’s Vocabulary: Masked Label Smoothing for Machine Translation" @ ACL 2022☆13Apr 13, 2022Updated 3 years ago
- An empty playdate C/Lua project that can be built in VS Code on Winodws and Mac.☆11Apr 23, 2024Updated last year
- Tankle Adventure☆16Nov 12, 2024Updated last year
- ☆39Aug 29, 2021Updated 4 years ago
- Cache evaluation of nix functions☆17Apr 5, 2022Updated 3 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 8 months ago
- All-in-one simple screen recording tool for wlroots-based Wayland compositors like LabWC, Wayfire, and Sway.☆16Jan 31, 2026Updated last month
- 🐟一种运行在 JVM 上的静态类型、强类型编程语言，强大、灵活、安全、简单。🐟A programming language running on JVM. Powerful, Flexible, Safe and Simple.☆11Mar 8, 2020Updated 5 years ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- ☆11Apr 16, 2022Updated 3 years ago
- ☆14Jan 6, 2023Updated 3 years ago
- [一个聊天软件Demo] a chat software powered by libevent/mysql and qt☆10Sep 10, 2021Updated 4 years ago
- Rust implementation of MurmurHash3.☆13Dec 20, 2021Updated 4 years ago
- Parser combinators in Rust☆12Feb 28, 2021Updated 5 years ago
- PythonProgramming.net 系列教程☆11Mar 19, 2022Updated 3 years ago
- MoonBit WASM-4 on the ESP32 series microcontroller☆15Nov 28, 2024Updated last year
- 简单的pagerank基础上加上稀疏化矩阵化并行化等处理☆12Oct 8, 2019Updated 6 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Jul 21, 2025Updated 7 months ago
- Racket指南（中文翻译）☆173Feb 25, 2018Updated 8 years ago