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)
  ☆11Jul 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 4 years ago
• tlringer / proof-demos

  View on GitHub
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Jan 10, 2023Updated 3 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• euisuny / best-of-popl

  View on GitHub
  Best of POPL (BOP) Reading Group Memoirs
  ☆68Jan 27, 2022Updated 4 years ago
• uwplse / potpie

  View on GitHub
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆19Aug 19, 2024Updated last year
• 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 5 months ago
• SkyLabsAI / BRiCk

  View on GitHub
  Formalization of C++ for verification purposes.
  ☆99Updated 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.
  ☆49Aug 21, 2025Updated 11 months ago
• proof-ladders / protocol-ladder

  View on GitHub
  A set of cryptographic proofs for simple protocols, to be formalised in various tools.
  ☆26Mar 25, 2026Updated 3 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• LASER-UMASS / TacTok

  View on GitHub
  The TacTok automated Coq proof script synthesis tool
  ☆17Jan 9, 2024Updated 2 years ago
• 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
• limemloh / cubical-congruence

  View on GitHub
  Congruence Closure Procedure in Cubical Agda
  ☆20Aug 19, 2020Updated 5 years ago
• tomjaguarpaw / product-profunctors

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

  View on GitHub
  ☆17Jul 14, 2026Updated last week
• patverga / plant_jones

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

  View on GitHub
  Using Arrows to model parallel processes/computations.
  ☆18Aug 1, 2020Updated 5 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• 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
• msr-quarc / ReVerC

  View on GitHub
  Verified compilation of space-efficient reversible circuits
  ☆25Mar 5, 2019Updated 7 years ago
• tlringer / plugin-tutorial

  View on GitHub
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Jun 29, 2023Updated 3 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
  ☆23Dec 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
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• charlie-collard / vimcryption

  View on GitHub
  Abusing vim's incorrect UTF-8 decoding
  ☆11Mar 15, 2017Updated 9 years ago
• bogdanr / HLK-RM04

  View on GitHub
  Hi-Link HLK-RM04
  ☆13Dec 28, 2013Updated 12 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
• 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