The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)
☆21Dec 12, 2021Updated 4 years ago
Alternatives and similar repositories for compiler-text
Users that are interested in compiler-text are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 10 months ago
- SML# compiler☆251Dec 8, 2025Updated 5 months ago
- A language server for TableGen and a VSCode extension☆30May 2, 2026Updated last week
- Source code for 'Stylish F# 6' by Kit Eason☆16Jan 11, 2022Updated 4 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Sep 15, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- A CLI tool to measure four keys metrics and analyze development performance☆19May 1, 2026Updated last week
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 10 months ago
- Sudoku in the Browser☆12Jun 11, 2025Updated 10 months ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆32May 2, 2026Updated last week
- General purpose buffer for use with building JITs☆19Oct 13, 2023Updated 2 years ago
- Fully-automated AtCoder submitter backed by OpenAI Codex.☆19Jun 14, 2024Updated last year
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An experimental TUI platform for Roc☆12Mar 30, 2025Updated last year
- Minimum Go compiler☆22Sep 22, 2019Updated 6 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- JRuby's native launcher executable☆27Oct 23, 2025Updated 6 months ago
- (Unofficial) Japanese translation of Dfinity documentation : (非公式) Dfinity ドキュメントの日本語翻訳☆13Oct 6, 2022Updated 3 years ago
- ☆36Updated this week
- Different TLA+ specifications, mostly for learning purposes☆31May 6, 2024Updated 2 years ago
- Ruby-powerd shell.☆10Feb 4, 2023Updated 3 years ago
- Geothelphusa Organization site☆13Mar 31, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tensor library for Crystal powered by CUDA and CuDNN☆14Apr 26, 2018Updated 8 years ago
- An experimental project for statically typed scripting language.☆62Dec 30, 2025Updated 4 months ago
- Organize chunks of text within terminals☆12Mar 27, 2023Updated 3 years ago
- ☆13Nov 28, 2025Updated 5 months ago
- 👋 WIP: Say good-bye to HTML, a document markup which is not for applications.☆38Feb 22, 2024Updated 2 years ago
- ☆16May 1, 2023Updated 3 years ago
- ☆15Apr 22, 2026Updated 2 weeks ago
- A small unity 2019 project inspired by Metal Gear Solid gameplay mechanics (PS1)☆13Oct 14, 2019Updated 6 years ago
- 直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン☆19Mar 11, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Supports for making your react app look more real-time☆13Dec 1, 2021Updated 4 years ago
- color visualization in 3D☆23Jan 29, 2014Updated 12 years ago
- A simple whiteboard.☆11Nov 11, 2021Updated 4 years ago
- Emacs major mode for Ruby type signature☆12Apr 2, 2026Updated last month
- This is web browser for studying.☆14Nov 3, 2021Updated 4 years ago
- C subset compiler written in ruby.☆12Oct 6, 2021Updated 4 years ago
- fzf-like fuzzy finder tool but view search results on browser.☆45Mar 1, 2023Updated 3 years ago