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
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆135Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆15Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated last week
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- ☆34Updated 8 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 11 months ago
- ☆32Updated last week
- Relational Algebra, now with more algebra!☆54Updated last month
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆46Updated 3 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Effective Algebraic Topology in Haskell☆91Updated 10 months ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Neovim plugin for forester☆17Updated 8 months ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated last month
- Conference on Homotopy Type Theory 2023☆13Updated last year
- Functional Programming in Lean☆99Updated 2 weeks ago
- Distributions of Agda executable compiled into WebAssembly.☆18Updated 4 months ago
- A graphical editor for graph-like structures☆99Updated last year
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 10 months ago
- The Iowa Agda Library☆48Updated last month