BrownCS1260 / class-compiler-2022Links
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 graphical editor for graph-like structures☆100Updated last year
- Relational Algebra, now with more algebra!☆54Updated 2 months ago
- A Haskell probabilistic programming library.☆19Updated 3 months ago
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last week
- Functional Programming in Lean☆101Updated this week
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- ☆15Updated last year
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Updated last year
- A monad for interfacing with external SMT solvers☆15Updated 8 months ago
- A Lean4 Formalization of Polynomial Functors☆21Updated last week
- A template for blueprint-driven formalization projects in Lean.☆66Updated last week
- Modern Compiler Implementation in ML, in Haskell☆20Updated 4 years ago
- VSCode support for Forester☆21Updated 2 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Examples for MLStyle.jl☆21Updated 2 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- multilingual dictionary of mathematical terminology☆19Updated last month
- Efficient, high-level dynamic programming☆27Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- C++ library for semigroups and monoids☆62Updated last week
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- PL syntax macros.☆19Updated last month