cotowali / litsuLinks
☆45Updated 3 years ago
Alternatives and similar repositories for litsu
Users that are interested in litsu are comparing it to the libraries listed below
Sorting:
- A programming language (WIP)☆29Updated last year
- Execute command in local client from remote host☆24Updated 7 months ago
- Programming language implementation for learning purposes☆16Updated 6 months ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 5 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Updated 2 months ago
- A programming language☆70Updated 2 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Updated 4 years ago
- A bibliography framework for SATySFi.☆23Updated 3 years ago
- An experimental project for statically typed scripting language.☆63Updated last month
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 5 years ago
- 進捗大陸で使用されたSATySFiファイル☆12Updated 2 years ago
- swiss army knife for everything you do not want to do☆85Updated 3 years ago
- Yet another ActivityPub server implementation written in OCaml☆49Updated last month
- ☆46Updated 3 years ago
- ☆30Updated 2 years ago
- Package manager for SATySFi☆48Updated 2 years ago
- ☆81Updated this week
- The jQuery implementation in C stdout! (It's a joke repository)☆37Updated 2 years ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Updated last year
- Ruby parser and LSP in Rust☆20Updated 3 years ago
- Docker images for SATySFi and Satyrographos☆26Updated last month
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 7 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated last year
- Create a slide with SATySFi!☆56Updated 3 years ago
- ☆28Updated 2 years ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆125Updated last month
- ☆14Updated 4 years ago
- Coqで様々な数学の定理を証明☆18Updated 3 years ago
- A programming language written in an "easy to understand" way☆35Updated 8 months ago
- 多重ディスパッチをベースとする静的型付け関数型プログラミング言語☆24Updated 6 years ago