DUCSS / ducss-site
New DUCSS website
☆7Updated last year
Alternatives and similar repositories for ducss-site:
Users that are interested in ducss-site are comparing it to the libraries listed below
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Updated 3 years ago
- An unofficial handbook for tech and more specifically, UC Davis computer science students☆11Updated 7 years ago
- Study Material for the CompSci Junior Sophister Exams☆7Updated 8 years ago
- A website for softies.☆10Updated 3 years ago
- Opinionated UI addon based on how KUB scaffolds web applications☆14Updated last month
- Practice problems from our algorithm practices☆8Updated 9 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 4 years ago
- The Phage Programming Language☆13Updated 4 years ago
- A proof editor for first order logic☆26Updated 3 years ago
- Or: How I Learned to Stop Worrying and Love the Greenback☆171Updated 2 years ago
- A web page with resources for teaching with formal methods and tools.☆14Updated last year
- Sync your TCD timetable with Google Calendar☆10Updated 5 years ago
- A scaffold for players of battlecode 2017☆31Updated 7 years ago
- Tool Support for Correctness-by-Construction☆27Updated last week
- ☆16Updated this week
- URL Shortener for Rutgers University. This is an official read-only mirror; pull requests are ignored.☆9Updated this week
- A collection of micro services to allow for quick development of AIs, and the games they play.☆13Updated 2 years ago
- Recitation notes for cs3157, the C systems programming course with a narrative☆299Updated 2 years ago
- 💁 an extensible real-time queue application, for mentorship @ hackathons and classrooms☆266Updated 5 years ago
- C0rn3LL 4 L337 H4xx0rz☆36Updated last year
- Notes for UW Software Engineering☆34Updated 5 years ago
- The UCC Robotics Website☆9Updated 8 years ago
- Awesome Projects @ Cornell☆14Updated 6 years ago
- 🤣🔫Sicko Mode as a service☆20Updated 5 years ago
- Flow is a website that lets you plan courses with friends.☆234Updated 2 years ago
- A distributed file system implemented using Servant and REST☆9Updated 8 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆23Updated 6 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- CLICK HERE BEFORE YOU USE THIS TEMPLATE: http://i.imgur.com/UmjLrOc.gif☆19Updated 7 years ago