Alternatives and similar repositories for ducss-site:

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

• msu-anthropology / indian-country-ss18
  This Is Indian Country - Spring 2018 Instance
  ☆12Updated 6 years ago
• IS3UniCologne / DSML_2020
  Code repo for course "Introduction to Data Science and Machine Learning (DSML)"
  ☆8Updated 3 years ago
• RobAntcliff / JSCSExamMaterial
  Study Material for the CompSci Junior Sophister Exams
  ☆7Updated 8 years ago
• knoxville-utilities-board / ember-nrg-ui
  Opinionated UI addon based on how KUB scaffolds web applications
  ☆14Updated 2 weeks 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
• cornell-dti / office-hours
  ☆16Updated this week
• HS-Flensburg-PLTP / fp-companies-sh-hh
  A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
  ☆12Updated 4 years ago
• nating / cs-exams
  Examination preparation material for Computer Science students at Trinity College Dublin.
  ☆53Updated 2 weeks ago
• UTHT / pod1-software-core
  The core software that operates our pod #1. This includes controls, communications, testing suites, control panel, etc.
  ☆9Updated 2 years ago
• uclapi / uclapi
  An API for University College London, created for and by students!
  ☆46Updated last month
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆89Updated this week
• hella-info / onyx_api
  Specification of the public ONYX API
  ☆9Updated 4 months ago
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆27Updated this week
• vs-uulm / latexslides-uulm
  Template for LaTeX beamer slides using #uulm corporate design.
  ☆14Updated 2 years ago
• DavisCSClub / Handbook
  An unofficial handbook for tech and more specifically, UC Davis computer science students
  ☆11Updated 8 years ago
• nonilole / Conan
  A proof editor for first order logic
  ☆26Updated 3 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆115Updated last month
• harp-project / AML-Formalization
  ☆10Updated this week
• CoachLogix / ember-paper-stepper
  Step up your app with material steppers.
  ☆28Updated 2 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆97Updated this week
• PrincetonUniversity / compcomp
  Compositional CompCert
  ☆12Updated 6 years ago
• ga-wdi-boston / browser-template-ARCHIVED
  CLICK HERE BEFORE YOU USE THIS TEMPLATE: http://i.imgur.com/UmjLrOc.gif
  ☆19Updated 7 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆264Updated this week
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆292Updated last year
• mclumd / MIDCA
  Metacognitive Integrated Dual-Cycle Architecture, Version 1.4
  ☆9Updated 6 years ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• jerel / ember-storage
  Store data in localStorage or sessionStorage and if using localStorage also synchronize it between browser tabs.
  ☆29Updated 5 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆92Updated 14 years ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆104Updated 3 years ago