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
Sorting:
- Type-Level Lambda Calculus interpreter with TypeScript☆17Jan 14, 2023Updated 3 years ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 3 years ago
- Just a little toy language to learn about register-based VMs.☆22Aug 30, 2012Updated 13 years ago
- ☆22Feb 26, 2022Updated 4 years ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Reader Implementations of "Writing a C Compiler"☆41Jan 19, 2026Updated last month
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Feb 20, 2026Updated 2 weeks ago
- ✨ creating content☆30Feb 26, 2026Updated last week
- Transform a Medium post into a Markdown file☆30Dec 8, 2022Updated 3 years ago
- FakerMaker is a simple factory builder so you can throw away your fixtures and generate test data instead.☆11Jan 21, 2026Updated last month
- Code and demos for Reconstructing TypeScript blog posts.☆35Mar 6, 2023Updated 2 years ago
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- x86 emulator in Rust☆40Jul 17, 2021Updated 4 years ago
- Pratt Top-down Operator Precedence Example in Go☆40Mar 11, 2021Updated 4 years ago
- Farpy is an compiled language designed for those who want simplicity and security.☆10Aug 9, 2025Updated 6 months ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Defold modding tool☆13Nov 21, 2023Updated 2 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated 2 weeks ago
- tons of coding☆11Nov 15, 2022Updated 3 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- ☆10Apr 25, 2025Updated 10 months ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- Neural ngram language model in PyTorch.☆10Sep 27, 2018Updated 7 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Implement Some Handy JavaScript Functions From The Ground Up☆12Mar 4, 2023Updated 3 years ago
- A naive implementation of a chess engine☆12Nov 29, 2025Updated 3 months ago
- Elmer compiler☆12Oct 17, 2016Updated 9 years ago
- ✨ Redux middleware to dispatch actions during a Redux store's idle periods☆16Jun 18, 2024Updated last year
- A gpu accelerated neural network Rust crate.☆15Apr 17, 2023Updated 2 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- An open-source chess engine with an MCTS-Minimax hybrid search and an NNUE evaluation☆13Aug 22, 2025Updated 6 months ago
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- Make your ts check and ts IntelliSense more naughty（雑魚❤~）☆11Dec 31, 2023Updated 2 years ago
- A toy programming language written in Lua☆14Dec 28, 2022Updated 3 years ago
- Simple HTTP request library for Zig applications☆13Dec 30, 2024Updated last year
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- Programs and data to accompany the book "Random Number Generators, Principles and Practices"☆11Oct 5, 2018Updated 7 years ago