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
- Lecture notes and examples for the CMSC330 Spring 2024☆15Updated last month
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- A mechanical Calling-Julia-from-Python library for Python 3.7+ and Julia 1.6+☆9Updated 6 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- Examples for MLStyle.jl☆21Updated last year
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- A simple static type checker that enforces C-style programming in Julia☆25Updated 2 months ago
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆16Updated 2 months ago
- BQN implementation in Julia☆18Updated 2 years ago
- Relational Algebra, now with more algebra!☆52Updated 2 weeks ago
- Neovim plugin for forester☆16Updated 4 months ago
- Like a kick in the monads☆42Updated 2 years ago
- Monadic expressions and sequences for Julia☆32Updated 6 months ago
- A tail recursion optimization macro for julia.☆16Updated 4 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Convenience functions missing in Julia☆24Updated 6 months ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- A graphical editor for graph-like structures☆98Updated last year
- QuickCheck-like automated testing for Julia☆21Updated 4 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆23Updated 2 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Library for compile-time computing in julia☆71Updated last year
- Code-regrouping to reduce latency in Julia code compilation☆15Updated 3 years ago
- A DSL for modern parsing☆46Updated 11 months ago
- Easy Bayesian models.☆9Updated 3 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 8 months ago
- C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱☆33Updated last year
- Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specifi…☆27Updated 3 months ago
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆15Updated last year