Alternatives and similar repositories for clavy:

Users that are interested in clavy are comparing it to the libraries listed below

• OverflowCat / astro-typst
  Typst integration for Astro
  ☆42Updated 2 weeks ago
• Enter-tainer / typst-ws
  preview your typst document in instant
  ☆28Updated 2 years ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 2 months ago
• rewired-gh / tep
  A blazingly fast tool for converting to English punctuations
  ☆10Updated 2 years ago
• g-plane / wasm-language-tools
  Language server and other tools for WebAssembly.
  ☆21Updated last week
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆19Updated 2 years ago
• Enter-tainer / rspb
  pastebin written in pure rust. A rewrite of ptpb/pb.
  ☆43Updated 2 years ago
• SchrodingerZhu / paguroidea
  A reimplementation of the Flap parser in Rust (with our own modifications applied)!
  ☆53Updated last year
• iamcco / ds-pinyin-lsp
  Dead Simple Pinyin Language Server
  ☆119Updated last year
• dark-flames / yukino-dev
  A type-driven and high-performance ORM framework in Rust
  ☆25Updated 3 years ago
• js2xxx / reffect
  Yet another Rust algebraic effect library using generators
  ☆14Updated 3 months ago
• niltok / tesseract
  only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
  ☆52Updated last year
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 2 years ago
• Enter-tainer / jogs
  ☆24Updated last month
• NickCao / resign
  ☆19Updated last year
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆20Updated 2 years ago
• lynzrand / chigusa
  A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业
  ☆30Updated 4 years ago
• bdbai / nyquest
  truly native Rust HTTP client library
  ☆26Updated 2 weeks ago
• oxalica / nixos-config
  My nixos configs
  ☆41Updated this week
• QuadnucYard / ourchat-typ
  Forge wonderful chat messages in typst
  ☆85Updated 3 months ago
• oxalica / cbench
  Environment control for benchmarks
  ☆14Updated 2 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• Jakobeha / type-sitter
  generate typed wrappers for tree-sitter grammars from node-types.json and queries
  ☆25Updated last month
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆121Updated this week
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated last week
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• 0xpcut / wypst
  Typst math typesetting for the web.
  ☆69Updated 9 months ago
• ZenithalHourlyRate / acm
  AsCii Movie (asciimation) https://ascii.moe
  ☆16Updated 3 years ago
• flyfish30 / zig-cats
  A category and functional programing library for Zig language
  ☆30Updated 2 months ago