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
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- ☆12Updated 9 months ago
- Competitive programming utilities in Haskell☆30Updated 5 months ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated this week
- Neovim plugin for forester☆16Updated 6 months ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 3 years ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Mirror of ocaml-forester☆45Updated 11 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 10 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- ☆31Updated 8 months ago
- Conference on Homotopy Type Theory 2023☆13Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- A server for the forester tool☆14Updated 5 months ago
- ☆16Updated 4 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Updated 11 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated 2 weeks ago
- A Really Cool Calculator written in Haskell... or is it?☆43Updated 3 years ago
- A Haskell probabilistic programming library.☆19Updated last month
- A toy dependent typed language.☆29Updated 2 weeks ago
- Most influential papers in programming languages☆57Updated 4 months ago
- Relational Algebra, now with more algebra!☆54Updated this week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago