rwwaskk / CS188-Berkeley
This contains projects of Artificial Intelligence class @ Berkeley
☆10Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for CS188-Berkeley
- Assignment for cmu database systems course 15445☆7Updated 6 years ago
- ☆12Updated last year
- Ray and Anyscale for UC Berkeley AI Hackathon!☆11Updated last year
- ☆15Updated last year
- ☆15Updated last year
- DafnyBench: A Benchmark for Formal Software Verification☆15Updated last month
- MIT 6.828 - Operating System Engineering - Fall 2014☆51Updated 8 years ago
- ☆43Updated last year
- Program synthesis class taught by Loris D'Antoni☆20Updated 3 weeks ago
- ☆26Updated 3 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated last year
- Some microbenchmarks and design docs before commencement☆12Updated 3 years ago
- Resource Allocation for Dynamic Demands☆18Updated 10 months ago
- Summaries of readings in operating systems, networking and machine learning☆22Updated 5 years ago
- ☆14Updated last year
- Systems for Data Science repo☆12Updated 6 years ago
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆43Updated 3 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 6 years ago
- Repository for the code and dataset for the paper: "Have LLMs Advanced enough? Towards Harder Problem Solving Benchmarks For Large Langu…☆38Updated 10 months ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 10 years ago
- TORCH_LOGS parser for PT2☆21Updated 3 weeks ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆32Updated 5 months ago
- Heavyweight Python dynamic analysis framework☆13Updated 6 months ago
- Lightning In-Memory Object Store☆44Updated 2 years ago
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- ☆13Updated 7 months ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 6 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆42Updated 3 months ago
- ☆18Updated 2 years ago