BrownCS1260 / class-compiler-2022
This repository contains the compiler we are building in class, and supporting libraries, updated after each class.
☆7Updated last year
Related projects ⓘ
Alternatives and complementary repositories for class-compiler-2022
- ☆11Updated 2 months ago
- Examples for MLStyle.jl☆20Updated last year
- Lecture notes and examples for the CMSC330 Spring 2024☆10Updated this week
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- ☆14Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 3 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 3 years ago
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Updated 5 years ago
- ☆12Updated 6 months ago
- Convenience functions missing in Julia☆25Updated 2 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- ☆8Updated last year
- Relational Algebra, now with more algebra!☆48Updated 3 weeks ago
- PL syntax macros.☆17Updated 3 weeks ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆11Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆65Updated 11 months ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆16Updated 3 months ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- A graphical editor for graph-like structures☆96Updated 11 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 7 years ago
- Like a kick in the monads☆41Updated 2 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Neovim plugin for forester☆13Updated this week
- BQN implementation in Julia☆17Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coq☆21Updated last year
- SIGPLAN website☆10Updated this week
- The LLVM tutorial using OCaml☆25Updated last year
- Modern Compiler Implementation in ML, in Haskell☆19Updated 3 years ago