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:
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆54Updated 5 months ago
- ☆29Updated 2 years ago
- ☆46Updated 3 months ago
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- A Programming Language implemented in JavaScript☆18Updated last year
- Formatter for SATySFi☆17Updated 2 months ago
- Execute command in local client from remote host☆23Updated 2 months ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆47Updated last week
- A programming language☆70Updated last year
- 🐦⬛ A bracket-based lightweight markup language that extends commands with WebAssembly☆71Updated this week
- A programming language written in an "easy to understand" way☆35Updated 3 months ago
- ☆35Updated 2 months ago
- LLM やシェルとインタラクティブに対話するための macOS 用アプリケーション☆48Updated 5 months ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 3 weeks ago
- 筑波大学情報科学類の卒業論文向けのTypstテンプレート☆43Updated last year
- CPU assembly examples☆83Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- Algebraic effects and handlers for TypeScript☆24Updated 3 weeks ago
- A programming language (WIP)☆29Updated last year
- Japanese translation of Open Source AI Definition☆25Updated 9 months ago
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Updated last month
- ☆28Updated last year
- ☆45Updated 2 years ago
- telnet電子公告ビューア☆48Updated last year
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- 肺です☆21Updated last year
- 東北大学 住井研究室のステキな TeX ファイルたち☆37Updated 4 years ago
- Nor - a one-operator programming language☆19Updated 7 months ago
- Support page for saba and wasabi☆26Updated 3 months ago
- ☆162Updated 11 months ago