FR4NC1SC011 / FromTheTransistorToTheWEbBrowser
Inspired by George Hotz
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for FromTheTransistorToTheWEbBrowser
- Let's get it☆75Updated 2 years ago
- It's a poorly named metamath verifier☆107Updated 4 years ago
- A curated list of awesome resources and learning materials in the field of X internals☆129Updated 3 months ago
- Manage your ever-growing list of research papers☆13Updated last year
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆147Updated 2 months ago
- Here we collect worldwide courses teaching formal methods☆33Updated 5 years ago
- Writing Scheme in Haskell☆61Updated 4 years ago
- Can RL solve simple problems?☆51Updated 10 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆51Updated 5 years ago
- Yet Another Compiler Visualizer☆157Updated 3 years ago
- An implementation of delta-iris in tinygrad☆71Updated 3 months ago
- Enabling tinygrad compatibility with the Google Edge TPU☆75Updated 2 months ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆40Updated 4 years ago
- Scripts and environment for the tinybox☆92Updated 7 months ago
- A minimal Tensor Processing Unit (TPU) inspired by Google's TPUv1.☆117Updated 3 months ago
- Solving the 1 Billion Row Challenge in MPL☆16Updated 10 months ago
- Reading schedule and our library of pdfs☆24Updated 5 years ago
- A minimal proof checker.☆65Updated 2 months ago
- Educational JIT compiler for ARM64 in Zig.☆47Updated 3 months ago
- The Stack with Objects and Functions Programming Language, a pure stack-based reverse-polish-notation functional and object-oriented expe…☆11Updated last year
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 4 years ago
- parallelized hyperdimensional tictactoe☆110Updated 2 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 3 weeks ago
- Standalone commandline CLI tool for compiling Triton kernels☆15Updated 2 months ago
- Built Simple memory datastore like redis to learn how it works internally and how databases are built , it has set,get, transactions (mul…☆29Updated last year
- Tools for a compilers course☆110Updated 5 months ago
- Reference implementation for Writing a C Compiler☆122Updated 2 months ago
- could we make an ml stack in 100,000 lines of code?☆26Updated 4 months ago
- A Turing complete language 😉☆40Updated 4 years ago