cotowali / litsu
☆45Updated 2 years ago
Alternatives and similar repositories for litsu:
Users that are interested in litsu are comparing it to the libraries listed below
- A programming language (WIP)☆29Updated 8 months ago
- Execute command in local client from remote host☆23Updated 2 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last year
- ☆45Updated 2 years ago
- ☆14Updated 3 years ago
- Vim syntax plugin for SATySFi typesetting system☆34Updated 3 years ago
- Yet another ActivityPub server implementation written in OCaml☆47Updated this week
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- 進捗大陸で使用されたSATySFiファイル☆12Updated last year
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- Minesweeper game written in GNU sed☆23Updated 2 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- ☆28Updated last year
- ☆12Updated 3 years ago
- Programming language implementation for learning purposes☆16Updated this week
- 作って学ぶ正規表現エンジン☆21Updated 10 months ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- Native Interoperability (Experimental)☆12Updated 5 months ago
- A programming language☆70Updated last year
- 自作言語処理系のコンパイラ制作☆43Updated 5 years ago
- Package manager for SATySFi☆45Updated last year
- functional programming language and its compiler☆18Updated 5 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated 3 weeks ago
- Nazo ML - my toy programming language☆59Updated 4 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 6 years ago
- Formatter for SATySFi☆17Updated 11 months ago
- SATySFi parser writtern in Rust.☆14Updated 2 years ago
- A hobby project to write JSON parser from the scratch☆27Updated 2 years ago
- A self hosted whitespace compiler☆32Updated 4 years ago