lemolatoon / toy-shakyo
☆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
- ☆28Updated 2 years ago
- DNCL (大学入試センター言語, Daigaku Nyushi Center Language) をRustにトランスパイルするマクロ☆8Updated last month
- Formatter for SATySFi☆17Updated last year
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- ☆43Updated this week
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆46Updated this week
- Execute command in local client from remote host☆23Updated 2 years ago
- A programming language written in an "easy to understand" way☆35Updated last month
- Japanese translation of Open Source AI Definition☆22Updated 4 months ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆41Updated last year
- telnet電子公告ビューア☆48Updated last year
- A Programming Language implemented in JavaScript☆18Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated last month
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- Create a slide with SATySFi!☆55Updated 2 years ago
- The SATySFi Language Server☆67Updated 2 years ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆33Updated last week
- take_care_of_the_rest / あとは任せた proc-macro of Rust☆24Updated 2 months ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆27Updated 11 months ago
- ☆24Updated 2 years ago
- セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場☆37Updated 3 months ago
- 未踏応募書類と成果報告書☆46Updated last year
- ☆27Updated last year
- A programming language☆70Updated last year
- 東北大学 住井研究室のステキな TeX ファイルたち☆36Updated 4 years ago
- 256色に色づくmanaba☆12Updated last year
- 技育CAMP ハッカソンvol.5 開発を効率化するアプリケーションを作ろう! 最優秀賞 & 技育展2021 開発/スキル支援 部門 最優秀賞☆28Updated 2 years ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆51Updated 2 weeks ago
- ☆22Updated last month
- ☆45Updated 2 years ago