Repository for the "Building a Typechecker from scratch" class
☆15Oct 12, 2023Updated 2 years ago
Alternatives and similar repositories for eva-tc-source
Users that are interested in eva-tc-source are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (Hopefully) a compiler for my first language named "Pie"☆26Updated this week
- Type-Level Lambda Calculus interpreter with TypeScript☆18Jan 14, 2023Updated 3 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago
- Bedrock is a statically typed programming language designed to provide a solid foundation for building general-purpose computer programs.…☆22Apr 6, 2025Updated last year
- 🎧 Your favourite simple terminal music player ! 🎧☆10Dec 6, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An opensource shiftlight project using Arduino and Neopixel products☆39Nov 21, 2021Updated 4 years ago
- exercises for the book - the little typer☆21May 15, 2025Updated 11 months ago
- Simple and easy to use language!☆16Nov 9, 2023Updated 2 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- 基于 LeviLamina 运行的下一代最全面的 Minecraft 基岩版 BDS 服务器基础&综合性功能插件☆10Jul 17, 2024Updated last year
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 7 months ago
- A repl for the D programming language☆32Oct 1, 2020Updated 5 years ago
- codecamp wizardamigos☆12Jan 8, 2018Updated 8 years ago
- A miniature model of the Typescript compiler☆34Jun 28, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ✨ creating content☆30Updated this week
- Code and demos for Reconstructing TypeScript blog posts.☆35Mar 6, 2023Updated 3 years ago
- Reader Implementations of "Writing a C Compiler"☆44Mar 8, 2026Updated last month
- Implement Some Handy JavaScript Functions From The Ground Up☆12Mar 4, 2023Updated 3 years ago
- ☆11Oct 4, 2024Updated last year
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- programming language☆26Apr 10, 2026Updated 3 weeks ago
- A command line JavaScript editor analyzing your code.☆18Feb 2, 2017Updated 9 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modular Antenna Tracker Caddy☆11Nov 14, 2023Updated 2 years ago
- Fast floating point to string conversion that complies to the ECMAScript number-to-string algorithm☆26Updated this week
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- The is a low-level compiled language☆21Sep 12, 2025Updated 7 months ago
- notes and preferences with setup and use of the ausswrt-merlin firmware☆12Nov 11, 2013Updated 12 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- Hot reload for C☆20Jul 14, 2025Updated 9 months ago
- Erlang Shellcode snippets☆45Mar 27, 2013Updated 13 years ago
- Turbo Streams support for Roda.☆17Oct 19, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- vim plugin for starlark☆18Jan 20, 2024Updated 2 years ago
- Fast O(1) offset allocator with minimal fragmentation. Single C-Header library version.☆35Dec 24, 2025Updated 4 months ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Apr 14, 2026Updated 3 weeks ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆13Jul 14, 2025Updated 9 months ago
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago