clowdr-app/clowdr-web-app external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

clowdr-app/clowdr-web-app

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/clowdr-app/clowdr-web-app)

Close

clowdr-app / clowdr-web-appView on GitHubMore

• External links
• Readme badge

Old Clowdr versions 1 & 2 from 2020

☆38Jan 6, 2021Updated 5 years ago

Alternatives and similar repositories for clowdr-web-app

Users that are interested in clowdr-web-app are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• artagnon / vsfstar

  View on GitHub
  🦅 VSCode extension for F* with IDE features
  ☆16Mar 21, 2020Updated 6 years ago
• FStarLang / fstar-layer

  View on GitHub
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆10Jul 13, 2020Updated 6 years ago
• lkuper / lvar-semantics

  View on GitHub
  PLT Redex models of LVar calculi
  ☆10Apr 6, 2015Updated 11 years ago
• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 5 years ago
• euisuny / best-of-popl

  View on GitHub
  Best of POPL (BOP) Reading Group Memoirs
  ☆68Jan 27, 2022Updated 4 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• uwplse / potpie

  View on GitHub
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆19Aug 19, 2024Updated 2 years ago
• tlringer / proof-chat-fun

  View on GitHub
  playing with gpt4
  ☆13Mar 17, 2023Updated 3 years ago
• plasma-umass / parcel

  View on GitHub
  An Excel formula parser
  ☆12Mar 3, 2019Updated 7 years ago
• vellvm / vellvm-legacy

  View on GitHub
  ☆34Jan 27, 2026Updated 7 months ago
• SkyLabsAI / BRiCk

  View on GitHub
  Formalization of C++ for verification purposes.
  ☆105Updated this week
• kevva / github-search-repos-cli

  View on GitHub
  Search GitHub repositories
  ☆15Apr 19, 2018Updated 8 years ago
• uwplse / pumpkin-pi

  View on GitHub
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆50Aug 21, 2025Updated last year
• proof-ladders / protocol-ladder

  View on GitHub
  A set of cryptographic proofs for simple protocols, to be formalised in various tools.
  ☆26Mar 25, 2026Updated 5 months ago
• LASER-UMASS / TacTok

  View on GitHub
  The TacTok automated Coq proof script synthesis tool
  ☆17Jan 9, 2024Updated 2 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• moajohansson / IsaHipster

  View on GitHub
  Theory Exploration for Isabelle using HipSpec
  ☆20Jun 7, 2024Updated 2 years ago
• cuplv / raz.ocaml

  View on GitHub
  Random Access Zipper in OCaml
  ☆14Dec 8, 2016Updated 9 years ago
• alcestes / mpstk

  View on GitHub
  Multiparty Session Types toolKit
  ☆14May 7, 2025Updated last year
• tomjaguarpaw / product-profunctors

  View on GitHub
  ☆19May 4, 2026Updated 3 months ago
• rems-project / cn-tutorial

  View on GitHub
  ☆17Aug 18, 2026Updated last week
• Parrows / Parrows

  View on GitHub
  Using Arrows to model parallel processes/computations.
  ☆18Aug 1, 2020Updated 6 years ago
• patverga / plant_jones

  View on GitHub
  ☆11Nov 10, 2015Updated 10 years ago
• bmourad01 / ocamlchess

  View on GitHub
  UCI-compatible chess engine in OCaml.
  ☆15Apr 20, 2025Updated last year
• staticafi / sbt-slicer

  View on GitHub
  Static program slicer used in Symbiotic tool
  ☆12Mar 31, 2025Updated last year
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• tlringer / plugin-tutorial

  View on GitHub
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Jun 29, 2023Updated 3 years ago
• msr-quarc / ReVerC

  View on GitHub
  Verified compilation of space-efficient reversible circuits
  ☆25Mar 5, 2019Updated 7 years ago
• wilbowma / cic-redex

  View on GitHub
  A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
  ☆34May 27, 2017Updated 9 years ago
• jsiek / denotational_semantics

  View on GitHub
  Denotational semantics based on graph and filter models
  ☆22Dec 16, 2024Updated last year
• trailofbits / indurative

  View on GitHub
  Easily create authenticated data structures
  ☆42Apr 11, 2023Updated 3 years ago
• alugocp / crypts-and-camls

  View on GitHub
  ☆15Dec 28, 2021Updated 4 years ago
• pigworker / Vole

  View on GitHub
  being a funny little programming language with a funny little abstract machine
  ☆16Jun 25, 2015Updated 11 years ago
• charlie-collard / vimcryption

  View on GitHub
  Abusing vim's incorrect UTF-8 decoding
  ☆11Mar 15, 2017Updated 9 years ago
• antalsz / choose-your-own-derivative

  View on GitHub
  Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"
  ☆19May 18, 2017Updated 9 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• samoht / dog

  View on GitHub
  A loyal and faithful synchronisation tool that you can rely on.
  ☆47Jun 16, 2016Updated 10 years ago
• gudqs7 / My-HarmonyOS-First-Demo

  View on GitHub
  Dev for Huawei Lite Wearable (仅为运动手表开发)
  ☆13Sep 17, 2020Updated 5 years ago
• catalin-hritcu / fstar-course

  View on GitHub
  Program verification with F* course materials
  ☆12Jul 6, 2019Updated 7 years ago
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆26Dec 14, 2020Updated 5 years ago
• ziman / bibdris

  View on GitHub
  BibTeX database management in Idris
  ☆18May 13, 2014Updated 12 years ago
• rocq-community / metaprogramming-rosetta-stone

  View on GitHub
  A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…
  ☆17Feb 7, 2024Updated 2 years ago
• nicegeo / nicegeo

  View on GitHub
  A kind synthetic Euclidean Geometry proof assistant
  ☆45May 11, 2026Updated 3 months ago