BrownCS1260 / class-compiler-2022
This repository contains the compiler we are building in class, and supporting libraries, updated after each class.
☆7Updated last year
Alternatives and similar repositories for class-compiler-2022
Users that are interested in class-compiler-2022 are comparing it to the libraries listed below
Sorting:
- ☆9Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆27Updated last year
- PL syntax macros.☆19Updated last week
- BQN implementation in Julia☆18Updated 3 years ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 9 months ago
- Conference on Homotopy Type Theory 2023☆13Updated last year
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 9 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Updated 3 years ago
- Like a kick in the monads☆42Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Examples for MLStyle.jl☆21Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated last week
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Relational Algebra, now with more algebra!☆53Updated this week
- Assorted s-expression utilities for Julia☆16Updated last year
- My Advent of Code solutions☆22Updated 4 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 7 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Convenience functions missing in Julia☆24Updated 7 months ago
- Functional Programming in Lean☆78Updated this week
- A toy dependent typed language.☆28Updated 3 weeks ago
- for you with the good questions☆26Updated 3 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆15Updated last week
- FreeTikZ☆38Updated 7 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Updated 2 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated this week