Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆42May 6, 2022Updated 3 years ago
Alternatives and similar repositories for pl-class-public
Users that are interested in pl-class-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated last month
- Hash Array Mapped Tries for Racket☆21Jan 30, 2017Updated 9 years ago
- Bytecode compiler of a variant of Caml☆34Jun 4, 2015Updated 10 years ago
- Cool extensions built for the nbdev framework☆14Jun 6, 2023Updated 2 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆18Mar 5, 2026Updated 2 weeks ago
- Latex resume template☆12Mar 29, 2012Updated 13 years ago
- Haskell bindings for OpenCV☆23Aug 8, 2015Updated 10 years ago
- An attempt to write a compiler in Rust☆24Jun 21, 2023Updated 2 years ago
- Code snippets and reproductions from JustAByte☆25Jan 25, 2026Updated last month
- Example API server (using swift-nio) that wraps a Swift for TensorFlow model☆18Jun 18, 2019Updated 6 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.☆15May 28, 2021Updated 4 years ago
- Create plots locally and with REX. Primarily for CarND Sensor Fusion and Localization.☆11Nov 25, 2021Updated 4 years ago
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Jan 10, 2026Updated 2 months ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Educational Single-file compiler in C++23 with less than 1000 lines of code, leveraging the power of LLVM!☆19Jun 23, 2025Updated 9 months ago
- Efficient and correct pagination!☆16Mar 31, 2024Updated last year
- Work with WAVE and RF64 files in Haskell☆11Feb 16, 2026Updated last month
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 6 months ago
- assignments from courses at udacity☆10Mar 26, 2018Updated 7 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆17Mar 16, 2026Updated last week
- stupid lil program to parse GHC/cabal output and tell you how long stuff takes☆10Mar 2, 2022Updated 4 years ago
- Rate limiting for Servant and as WAI middleware☆16Dec 12, 2025Updated 3 months ago
- ☆16Sep 7, 2025Updated 6 months ago
- Experiment on reimplementation of GRPO RL☆17Feb 7, 2025Updated last year
- Opinionated package manager for haskell (WIP)☆16Jul 9, 2023Updated 2 years ago
- ☆15Oct 25, 2025Updated 5 months ago
- Functional choreographic programming in Haskell☆121Mar 17, 2026Updated last week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- An implementation of the Lox language in Racket.☆37Oct 28, 2023Updated 2 years ago
- This repository implements Semantic Segmentation of the Indian Driving Dataset. It contains two architectures to achieve this: FCN8s and …☆12May 1, 2020Updated 5 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆31Mar 4, 2025Updated last year
- Simple two-dimensional matrices backed by a flat array☆18Feb 24, 2020Updated 6 years ago
- Maybe taking the appartus isn't such a great idea...☆10Jul 23, 2024Updated last year
- UnityEditor tool for Lethal Company that patches AssetRipper generated guids with the correct ones from the installed packages on your pr…☆11Dec 29, 2023Updated 2 years ago
- Kaggle Kuzushiji Recognition: code for the 8th place solution.☆11Nov 12, 2019Updated 6 years ago