cs125-illinois / www-oldLinks
Course website static sources.
☆10Updated 2 years ago
Alternatives and similar repositories for www-old
Users that are interested in www-old are comparing it to the libraries listed below
Sorting:
- University of Illinois letterhead template☆10Updated 6 years ago
- The React + Redux Frontend for ClassTranscribe☆25Updated this week
- Various interesting datasets, mostly data from The University of Illinois☆186Updated 2 months ago
- A microservice queue for holding open office hours☆86Updated 2 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Recommender for suggesting letter writers 👍☆35Updated 10 months ago
- ☆126Updated 7 years ago
- Utility library for the Princeton COS' LIFT.☆14Updated 2 years ago
- Examples of autograders for running on Gradescope☆84Updated 5 months ago
- CLuster And RepAir tool for introductory programming assignments☆46Updated last year
- Navigate safely through campus and learn about the health and safety resources near you with Illini SafeMaps.☆18Updated 6 years ago
- Weekly data science workshops for SIG AIDA at UIUC.☆12Updated 3 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated last month
- Online problem-driven learning system☆395Updated this week
- The main Illinois Women in Computer Science website.☆9Updated this week
- webapp for csmetrics.net☆30Updated 2 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated 11 months ago
- Official Repo for "Efficient task-specific data valuation for nearest neighbor algorithms"☆26Updated 5 years ago
- Documenting large text datasets 🖼️ 📚☆12Updated 6 months ago
- The official repo for GCP-CROWN paper☆13Updated 2 years ago
- Learning Formal Mathematics from Intrinsic Motivation☆30Updated 3 months ago
- ☆29Updated 2 years ago
- UI for cleaning up bibtex files and normalizing conference names aka book titles.☆22Updated last year
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆20Updated this week
- ☆29Updated 2 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated 11 months ago
- Open Source Polling App☆14Updated this week
- Code for Preventing Language Models From Hiding Their Reasoning, which evaluates defenses against LLM steganography.☆22Updated last year
- GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents☆27Updated 3 weeks ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago