usm-takl / tiny-lang-with-lsp
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for tiny-lang-with-lsp
- A programming language (WIP)☆29Updated 5 months ago
- ☆14Updated 3 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last year
- 進捗大陸で使用されたSATySFiファイル☆12Updated last year
- ☆45Updated 2 years ago
- SATySFi parser writtern in Rust.☆14Updated 2 years ago
- A self hosted whitespace compiler☆32Updated 4 years ago
- 自作言語処理系のコンパイラ制作☆43Updated 5 years ago
- Execute command in local client from remote host☆23Updated last year
- any docs☆17Updated 4 years ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆27Updated 7 months ago
- Gaming Vim color scheme☆17Updated 4 years ago
- Steamer: presentation in SATySFi☆14Updated 5 years ago
- Docker images for SATySFi and Satyrographos☆26Updated 4 months ago
- Vim syntax plugin for SATySFi typesetting system☆34Updated 3 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 3 years ago
- A Refinement Checker based on CSP☆28Updated 2 years ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 3 years ago
- Integrate migemo into search in Vim.☆14Updated 2 years ago
- Text-based to-do management CLI & language server☆16Updated last year
- SKK built on Web Technology☆14Updated 3 months ago
- The manuscript for The SATySFibook (1st edition for the Web)☆35Updated 2 months ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Updated 6 years ago
- ☆15Updated 7 years ago
- Example of Language Server Protocol (LSP) server implementation for obvious language as first step☆15Updated 2 years ago
- The Xemime programming language☆13Updated 4 years ago
- Expression-oriented toy programming language written in Rust☆19Updated 5 years ago
- 多重ディスパッチをベースとする静的型付け関数型プログラミング言語☆24Updated 5 years ago