Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆41May 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
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…☆72Feb 20, 2026Updated last week
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 4 years ago
- Experiment on reimplementation of GRPO RL☆17Feb 7, 2025Updated last year
- An ultrasmall (~70 loc) React wrapper written in RacketScript☆61Apr 2, 2025Updated 11 months ago
- An implementation of the Lox language in Racket.☆37Oct 28, 2023Updated 2 years ago
- ☆51Jan 30, 2026Updated last month
- Bytecode compiler of a variant of Caml☆34Jun 4, 2015Updated 10 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 6 years ago
- Drupal 8 module that provides a dynamic Image Gallery based on the react-image-gallery component.☆14May 1, 2020Updated 5 years ago
- Modules for the Stratos ERP project☆13May 15, 2023Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- ☆13Sep 5, 2024Updated last year
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆20Jan 13, 2025Updated last year
- Maybe taking the appartus isn't such a great idea...☆10Jul 23, 2024Updated last year
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Time, Clocks, and the Ordering of Events☆40Sep 5, 2021Updated 4 years ago
- ☆41May 19, 2022Updated 3 years ago
- Quiz and assignment solutions for Coursera MOOC - Aerial Robotics☆13Aug 15, 2016Updated 9 years ago
- 转换 Clash 订阅格式到 v2rayN 订阅格式☆11Oct 11, 2024Updated last year
- JSON RPC v2.0 Sans I/O☆11Updated this week
- As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…☆11Sep 28, 2021Updated 4 years ago
- Trimmed adblocking lists: Ads, trackers, malware and miners for average Joe and Janes☆10Sep 3, 2021Updated 4 years ago
- Krestianstvo | Playground - is the collection of worlds and experiences, developed using Krestianstvo SDK 4 | Solid JS☆11Sep 15, 2023Updated 2 years ago
- WAI Request Throttling Middleware☆16Oct 11, 2024Updated last year
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Python Client of CodeLab Adapter v2.☆11Sep 22, 2021Updated 4 years ago