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
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- Lecture notes and examples for the CMSC330 Spring 2024☆11Updated last month
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- ☆12Updated 4 months ago
- ☆9Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 5 months ago
- Neovim plugin for forester☆14Updated 2 months ago
- ☆13Updated 4 months ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆12Updated 2 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆27Updated 3 years ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 9 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆41Updated 3 years ago
- A verified polyhedral scheduling validator in Coq.☆19Updated 3 months ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆23Updated last week
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆23Updated 2 years ago
- PL syntax macros.☆18Updated last week
- A stepping debugger for Standard ML (SML)☆23Updated 10 months ago
- ☆22Updated 11 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- Neural Networks and Deep Learning☆34Updated last year
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆30Updated 2 months ago
- A monadic library for symbolic evaluation☆58Updated this week
- A database of small finite categories☆14Updated last year
- Haskell 'go to (non-local) definitions' extension☆13Updated 11 months ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆44Updated last week
- Mirror of ocaml-forester☆41Updated 7 months ago
- A monad for interfacing with external SMT solvers☆13Updated last month
- An English translation of Deligne's three "Hodge theory" papers☆11Updated 3 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024☆19Updated 6 months ago