Alternatives and similar repositories for ducss-site:

Users that are interested in ducss-site are comparing it to the libraries listed below

• RobAntcliff / JSCSExamMaterial
  Study Material for the CompSci Junior Sophister Exams
  ☆7Updated 8 years ago
• HS-Flensburg-PLTP / fp-companies-sh-hh
  A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
  ☆12Updated 3 years ago
• cornell-dti / office-hours
  ☆16Updated 2 weeks ago
• DavisCSClub / Handbook
  An unofficial handbook for tech and more specifically, UC Davis computer science students
  ☆11Updated 7 years ago
• uclapi / uclapi
  An API for University College London, created for and by students!
  ☆44Updated this week
• nonilole / Conan
  A proof editor for first order logic
  ☆26Updated 3 years ago
• 414owen / phage
  The Phage Programming Language
  ☆13Updated 3 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆27Updated this week
• ChrisJefferson / stacscheck
  St Andrews Computer Science Checker
  ☆21Updated 4 months ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆234Updated 2 months ago
• TrevorEdwards / bigredapp-android
  Informational Android app for Cornell University.
  ☆14Updated 6 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 2 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆261Updated this week
• PrincetonUniversity / compcomp
  Compositional CompCert
  ☆12Updated 6 years ago
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆230Updated 5 months ago
• cornell-cup / cs-minibot-platform
  [clean] software platform for MiniBot development
  ☆6Updated 7 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆224Updated last year
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆13Updated 4 months ago
• nating / cs-exams
  Examination preparation material for Computer Science students at Trinity College Dublin.
  ☆53Updated last month
• rorhug / tcal
  Sync your TCD timetable with Google Calendar
  ☆10Updated 5 years ago
• kohler / hotcrp
  HotCRP conference review software
  ☆343Updated this week
• FFPiHaskell / Vorlesung2016
  Folien und Übungsaufgaben für unsere Vorlesung
  ☆26Updated 8 years ago
• Scarlehh / Discrete_Math_Notes
  First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
  ☆32Updated 7 years ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆208Updated 3 months ago