☆41Aug 20, 2018Updated 7 years ago
Alternatives and similar repositories for thompson_hack
Users that are interested in thompson_hack are comparing it to the libraries listed below
Sorting:
- A statically typed functional programming language.☆46Feb 14, 2026Updated 2 weeks ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- Simple C compiler developed by @ShinyaKato☆43Aug 24, 2019Updated 6 years ago
- Mini-Programmable Configuration Language☆17Sep 11, 2024Updated last year
- ☆30Feb 26, 2023Updated 3 years ago
- ☆41Aug 31, 2015Updated 10 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Jul 29, 2019Updated 6 years ago
- Materials for category theory seminar☆28Jul 30, 2025Updated 7 months ago
- Docker images for SATySFi and Satyrographos☆26Dec 11, 2025Updated 2 months ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- 悠里世界のOSのエミュレータ作ろうぜという計画☆10Aug 21, 2022Updated 3 years ago
- ☆10Sep 5, 2021Updated 4 years ago
- ☆10Oct 30, 2016Updated 9 years ago
- Self hosted C compiler at seccamp2018☆10Aug 18, 2018Updated 7 years ago
- ☆29Jul 3, 2023Updated 2 years ago
- Tool set for developing Haribote OS .☆23May 20, 2019Updated 6 years ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Sep 13, 2018Updated 7 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 6 years ago
- XII : TLS1.3/暗号ゼミ [全国大会2018-集中開発コース]☆16Dec 22, 2018Updated 7 years ago
- C2A development tool based on Gaia tmtc-c2a☆20Dec 22, 2023Updated 2 years ago
- Defines fundamental data types and functions☆12Dec 21, 2025Updated 2 months ago
- A CPU that executes brainf**k language. Can be synthesized on FPGA☆12Jul 28, 2017Updated 8 years ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Jul 8, 2018Updated 7 years ago
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 7 years ago
- Text describing xv6 on RISC-V☆14Jul 23, 2020Updated 5 years ago
- Mocking and Specification Tool for API prototyping☆14Nov 28, 2022Updated 3 years ago
- Japanese translation of the DLang Tour☆15Apr 1, 2024Updated last year
- 女の子の気持ちをド直球に代弁してくれるBot。☆13Oct 14, 2017Updated 8 years ago
- Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning☆28Sep 5, 2017Updated 8 years ago
- Statically typed system programming language for 文鳥☆94Feb 22, 2021Updated 5 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 6 years ago
- A programming language for double-entry accounting, inspired by Beancount.☆21Aug 4, 2025Updated 6 months ago
- Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.☆197Jun 4, 2019Updated 6 years ago
- Ruby parser and LSP in Rust☆20Jul 23, 2022Updated 3 years ago
- Binding to jQuery (for js_of_ocaml)☆25Nov 19, 2012Updated 13 years ago
- An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.☆20Sep 27, 2020Updated 5 years ago
- 書籍「作ろう!CPU」のサポートページ☆20Sep 12, 2024Updated last year