BrownCS1260 / class-compiler-2022
This repository contains the compiler we are building in class, and supporting libraries, updated after each class.
☆8Updated last year
Related projects: ⓘ
- ☆10Updated 2 weeks ago
- Lecture notes and examples for the CMSC330 Spring 2024☆9Updated this week
- ☆9Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated last month
- A stepping debugger for Standard ML (SML)☆21Updated 7 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆36Updated 2 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated last week
- An English translation of Deligne's three "Hodge theory" papers☆11Updated this week
- A Haskell probabilistic programming library.☆14Updated last week
- PL syntax macros.☆17Updated 3 weeks ago
- Lean course materials for Brown CS 22, Spring 2023☆19Updated 10 months ago
- 十分钟魔法练习 in OCaml☆32Updated 2 years ago
- Solutions to OCaml Programming☆69Updated last month
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Updated 5 years ago
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆12Updated 2 months ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 3 years ago
- ☆15Updated 3 months ago
- EGraphs in OCaml☆59Updated 8 months ago
- Functional Programming in Lean☆63Updated 4 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆49Updated 7 months ago
- Mirror of ocaml-forester☆36Updated 3 months ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆60Updated 2 months ago
- ☆58Updated 4 months ago
- ☆27Updated 5 months ago
- A monadic library for symbolic evaluation☆51Updated this week
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆29Updated this week
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- LaTeX code for a paper on lean's type theory☆113Updated 2 years ago