pennlabs / websiteLinks
Penn Labs website
☆11Updated 3 weeks ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- An online office hours queue☆23Updated 6 months ago
- Powering Penn Course Review, Penn Course Plan, Penn Course Alert, and Penn Degree Plan☆41Updated last week
- Penn Course Review website, developed by Penn Labs☆13Updated 4 years ago
- A web app designed to help Penn students find classes and make schedules☆10Updated 6 years ago
- Official React-based website for Penn Labs.☆11Updated 5 years ago
- The Common Funding Application is an online application that allows student groups and organizations to request funding from various fund…☆18Updated 2 months ago
- The simplest machine learning library for launching UIs, running evaluations, and comparing model performance.☆13Updated 2 years ago
- The office hours queue for Carnegie Mellon's 15-122 course.☆12Updated 2 years ago
- A Python module for the various services of Penn OpenData. Validated API token required.☆30Updated 2 years ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- 👋 get to know me through my personal website!☆10Updated 3 months ago
- API Server to manage student life @ Penn.☆32Updated last week
- A library for building dynamic webapps, using Js_of_ocaml☆614Updated last week
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- A web app to explore Princeton University course listings and evaluations.☆14Updated 4 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A web app designed to help Penn students find classes and make schedules☆13Updated 6 years ago
- Visual Studio Code extension for Coq☆415Updated 2 weeks ago
- API for NYU's course catalog☆56Updated last year
- ☆234Updated last year
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 9 years ago
- Standard library for OCaml☆978Updated last week
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 4 years ago
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆33Updated 6 months ago
- A document language for the browser☆705Updated last year
- Open source module builder for Singapore Universities☆11Updated 8 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- Type-driven code generation for OCaml☆505Updated 4 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆533Updated 5 months ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆311Updated last year