angrave / CS341-Lectures-SP24
CS341 for Spring 2024
☆10Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for CS341-Lectures-SP24
- Support for for students (Python)☆57Updated this week
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 7 years ago
- A short intro to Rust course, based loosely off the book.☆13Updated 3 months ago
- egraphs-good website☆15Updated last month
- ☆19Updated 3 weeks ago
- Implementations of algorithms and solutions to exercises and problems from the book Introduction to Algorithms, Third Edition.☆18Updated last year
- Official Course Site for CSc 305 Spring 2020☆8Updated 4 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆20Updated 3 years ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆10Updated last year
- An illustration of good taste in code☆10Updated 3 months ago
- Empowering everyone towards next generation AI and software.☆85Updated this week
- Code associated to papers on superposition (in ML interpretability)☆24Updated 2 years ago
- Repository containing examples of usage of pcb-rs☆10Updated 2 years ago
- A SQL query compiler written in Rust from scratch☆20Updated 2 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated 11 months ago
- Because it's there.☆14Updated 2 months ago
- SKIP for AI☆20Updated 4 years ago
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Updated 5 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- ☆47Updated 3 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆68Updated last week
- ☆16Updated 2 months ago
- Documented and Unit Tested educational Deep Learning framework with Autograd from scratch.☆105Updated 7 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆18Updated last year
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆36Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- ☆18Updated 4 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆39Updated 9 months ago