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:
- ☆28Updated 2 years ago
- Formatter for SATySFi☆17Updated last year
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- DNCL (大学入試センター言語, Daigaku Nyushi Center Language) をRustにトランスパイルするマクロ☆8Updated 4 months ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆47Updated 2 months ago
- SATySFi Support for VSCode☆19Updated 3 months ago
- A programming language written in an "easy to understand" way☆35Updated last month
- A Programming Language implemented in JavaScript☆18Updated last year
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 3 months ago
- ☆24Updated 3 months ago
- 肺です☆21Updated last year
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆43Updated last year
- Execute command in local client from remote host☆23Updated 2 years ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆41Updated 2 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- ☆45Updated 3 weeks ago
- Standard C/C++ library template☆11Updated last year
- A SATySFi package to build simple tables.☆17Updated 3 years ago
- Let's write RISC-V CPU in Veryl!☆44Updated this week
- A SATySFi package containing A-to-Z mathematical commands.☆15Updated 2 years ago
- Discordの通話が解散できないオタクを解散させる解散担当大臣☆16Updated 7 months ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 6 years ago
- 2023年度未踏IT人材発掘・育成事業芝山PJの関連書類☆14Updated last year
- Japanese translation of Open Source AI Definition☆24Updated 6 months ago
- telnet電子公告ビューア☆48Updated last year
- texliveがフルインストールされたdevcontainer☆22Updated last year
- 絵文字プログラミング言語 emojin☆14Updated 5 months ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- A programming language☆70Updated last year
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Updated 3 years ago