Alternatives and similar repositories for ducss-site

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

• knoxville-utilities-board / ember-nrg-ui
  Opinionated UI addon based on how KUB scaffolds web applications
  ☆13Updated 2 months ago
• cornell-dti / office-hours
  ☆16Updated last month
• RobAntcliff / JSCSExamMaterial
  Study Material for the CompSci Junior Sophister Exams
  ☆7Updated 9 years ago
• DavisCSClub / Handbook
  An unofficial handbook for tech and more specifically, UC Davis computer science students
  ☆11Updated 8 years ago
• Dartmouth-Formula-Racing / DFR_CVC_2019
  Dartmouth Formula Racing Central Vehicle Controller Codebase
  ☆10Updated 2 years ago
• HS-Flensburg-PLTP / fp-companies-sh-hh
  A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
  ☆12Updated 4 years ago
• signmeup / signmeup
  Real-time application to sign up for and manage TA hours.
  ☆95Updated 3 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆255Updated this week
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆220Updated 3 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆264Updated last week
• 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
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆430Updated this week
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 7 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 6 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆373Updated 5 months ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated last month
• vs-uulm / latexslides-uulm
  Template for LaTeX beamer slides using #uulm corporate design.
  ☆14Updated 2 years ago
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 3 years ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• snowleopard / alga
  Algebraic graphs
  ☆740Updated 2 weeks ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆98Updated this week
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆582Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆461Updated 4 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆231Updated last month
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• sosy-lab / sv-comp
  Information to reproduce results from SV-COMP (MOVED, please follow the link)
  ☆15Updated 4 years ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week