lemolatoon / toy-shakyoLinks
☆14Updated last year
Alternatives and similar repositories for toy-shakyo
Users that are interested in toy-shakyo are comparing it to the libraries listed below
Sorting:
- ☆29Updated 2 years ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆53Updated 5 months ago
- Formatter for SATySFi☆17Updated 3 months ago
- ☆46Updated 4 months ago
- 🐦⬛ A bracket-based lightweight markup language that extends commands with WebAssembly☆72Updated this week
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- A programming language☆70Updated last year
- A toy C compiler written in Rust that emits RISC-V assembly.☆30Updated last month
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆43Updated last year
- Execute command in local client from remote host☆23Updated 3 months ago
- Create a slide with SATySFi!☆55Updated 2 years ago
- A programming language written in an "easy to understand" way☆35Updated 4 months ago
- 🌲 tiny OCaml compiler and PSan targeting to WebAssembly☆10Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated this week
- SATySFi Support for VSCode☆19Updated 3 months ago
- ☆45Updated 2 years ago
- Japanese translation of Open Source AI Definition☆25Updated 10 months ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated last week
- 肺です☆21Updated last year
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆47Updated 3 weeks ago
- A Programming Language implemented in JavaScript☆18Updated last year
- CPU assembly examples☆83Updated last year
- LLM やシェルとインタラクティブに対話するための macOS 用アプリケーション☆49Updated 5 months ago
- An experimental project for statically typed scripting language.☆62Updated 3 years ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- ☆26Updated last week
- Algebraic effects and handlers for TypeScript☆24Updated last month
- 法律・判例関係のデータセット☆40Updated 8 months ago
- telnet電子公告ビューア☆48Updated 2 years ago