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:
- Execute command in local client from remote host☆23Updated 4 months ago
- A programming language (WIP)☆29Updated last year
- A programming language☆70Updated last year
- Programming language implementation for learning purposes☆16Updated 2 months ago
- An experimental project for statically typed scripting language.☆62Updated 3 years ago
- swiss army knife for everything you do not want to do☆85Updated 3 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Updated 4 years ago
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- ☆29Updated 2 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- ☆81Updated last week
- The jQuery implementation in C stdout! (It's a joke repository)☆37Updated last year
- Minesweeper game written in GNU sed☆23Updated 3 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated this week
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆126Updated last week
- Ruby parser and LSP in Rust☆20Updated 3 years ago
- Algebraic effects and handlers for TypeScript☆24Updated 2 months ago
- 進捗大陸で使用されたSATySFiファイル☆12Updated 2 years ago
- 株式会社HERPのエンジニア向け採用資料☆77Updated 7 months ago
- Yet another ActivityPub server implementation written in OCaml☆47Updated last month
- functional programming language and its compiler☆18Updated 6 years ago
- ☆45Updated 2 years ago
- A programming language written in an "easy to understand" way☆35Updated 5 months ago
- コンパイラ・IDE・OS・VMM・IME の開発のための和書☆17Updated 3 weeks ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 7 years ago
- Package manager for SATySFi☆47Updated 2 years ago
- ☆28Updated last year
- The manuscript for The SATySFibook (1st edition for the Web)☆36Updated last year
- Coqで様々な数学の定理を証明☆18Updated 2 years ago