lemolatoon / toy-shakyoLinks
☆15Updated 2 years ago
Alternatives and similar repositories for toy-shakyo
Users that are interested in toy-shakyo are comparing it to the libraries listed below
Sorting:
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆55Updated 3 weeks ago
- ☆30Updated 2 years ago
- Execute command in local client from remote host☆24Updated 6 months ago
- ☆47Updated 7 months ago
- Formatter for SATySFi☆17Updated 7 months ago
- A Programming Language implemented in JavaScript☆18Updated last year
- 🐦⬛ A bracket-based lightweight markup language that extends commands with WebAssembly☆73Updated last month
- 🌲 tiny OCaml compiler and PSan targeting to WebAssembly☆10Updated last year
- A bibliography framework for SATySFi.☆23Updated 3 years ago
- ☆27Updated 2 months ago
- Algebraic effects and handlers for TypeScript☆24Updated 5 months ago
- ☆13Updated 2 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Updated last month
- A programming language☆70Updated 2 years ago
- LLM やシェルとインタラクティブに対話するための macOS 用アプリケーション☆49Updated 9 months ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆45Updated last year
- Japanese translation of Open Source AI Definition☆26Updated last year
- telnet電子公告ビューア☆48Updated 2 years ago
- CPU assembly examples☆86Updated last year
- Create a slide with SATySFi!☆56Updated 3 years ago
- A programming language written in an "easy to understand" way☆35Updated 8 months ago
- ☆36Updated 7 months ago
- ☆45Updated 3 years ago
- My configuration files☆17Updated 2 years ago
- A toy C compiler written in Rust that emits RISC-V assembly.☆31Updated 4 months ago
- Nor - a one-operator programming language☆19Updated 11 months ago
- Programming language implementation for learning purposes☆16Updated 5 months ago
- ☆27Updated 2 years ago
- ☆39Updated this week
- ☆11Updated 3 years ago