Recitation notes for cs3157, the C systems programming course with a narrative
☆302Sep 12, 2022Updated 3 years ago
Alternatives and similar repositories for recitations
Users that are interested in recitations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for the UCL Statistical NLP course☆10Jan 19, 2015Updated 11 years ago
- Linux Comodular Realtime Interactive Computation Engine☆26Aug 15, 2025Updated last year
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆37Updated this week
- This repository contains project assignments for the course Cloud Computing (CS 733), IIT Bombay☆19Aug 2, 2016Updated 10 years ago
- Autonomous RC Car powered by a Convoluted Neural Network implemented in Python with Tensorflow☆48Feb 13, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lucene Auto Phrase TokenFilter implementation☆59Jul 11, 2018Updated 8 years ago
- ☆11Mar 19, 2023Updated 3 years ago
- Tropical Numbers☆17Nov 2, 2025Updated 9 months ago
- Code for NIPS 2015 "Gradient-Free Hamiltonian Monte Carlo via Effecient Kernel Exponential Families"☆26Jun 7, 2018Updated 8 years ago
- Reinforcement Learning Assignment: Easy21☆12Jul 4, 2016Updated 10 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- Popular questions on stackexchange network☆13Dec 13, 2017Updated 8 years ago
- SqueezeNet in Tensorflow☆10Jun 7, 2017Updated 9 years ago
- A simple shellscript for splitting the PDF of a paper into the main body and an appendix.☆18Jun 1, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Important information for device maintainers, developers and others alike☆17Apr 23, 2020Updated 6 years ago
- Experiments with sequent calculi☆30Mar 28, 2021Updated 5 years ago
- Coco/R for Java☆15Aug 14, 2021Updated 5 years ago
- 🥩Using Proof of Stake to secure Proofs of Steak☆15Jan 12, 2023Updated 3 years ago
- ☆12Apr 25, 2022Updated 4 years ago
- A talk+workshop on Accelerating Your Security Learning in 2017 given at null Bangalore 2017☆13Jan 23, 2017Updated 9 years ago
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Feb 26, 2020Updated 6 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Jun 27, 2025Updated last year
- Collect the letters and cross the waves to your goal!☆19Jan 19, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- Assignments of the dragon book, 2nd☆11Jan 18, 2018Updated 8 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- Experiments with AllenNLP on semantic parsing datasets☆17Dec 29, 2018Updated 7 years ago
- Graph-building for AtomicGraphNets☆12Nov 20, 2023Updated 2 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A template Go Rest API with authentication, permissions, and more 🚀☆11Apr 13, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A PBT framework☆10Jul 19, 2025Updated last year
- ☆18Jan 17, 2024Updated 2 years ago
- ☆29Sep 30, 2016Updated 9 years ago
- A Dual-RL method DVL: Dual-V Learning for offline and online reinforcement learning☆16Oct 22, 2023Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Author implementation of the paper "Don’t paraphrase, detect! Rapid and Effective Data Collection for Semantic Parsing"☆20Oct 5, 2020Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago