Midspace (formerly Clowdr) is a completely open-source virtual conference platform. Host complex events with hundreds of authors and presenters. Midspace includes automated livestreams, video chat, text chat, randomised networking and much more.
☆58Oct 2, 2022Updated 3 years ago
Alternatives and similar repositories for clowdr
Users that are interested in clowdr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jul 14, 2026Updated last week
- ☆16Jul 1, 2015Updated 11 years ago
- Old Clowdr versions 1 & 2 from 2020☆38Jan 6, 2021Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- synchronous git collaboration tool☆10Dec 7, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- A web crawler in Python☆22Mar 9, 2016Updated 10 years ago
- Congruence Closure Procedure in Cubical Agda☆20Aug 19, 2020Updated 5 years ago
- The spacetime framework for simulations☆19Feb 24, 2021Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆37Feb 28, 2025Updated last year
- A kind synthetic Euclidean Geometry proof assistant☆44May 11, 2026Updated 2 months ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated last year
- ☆11Nov 27, 2024Updated last year
- Automatic assessment framework compatible with A-plus LMS.☆16Jun 23, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 6 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- Examining Environmental Justice through Open Source, Cloud-Native Tools☆14Dec 29, 2024Updated last year
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 4 months ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- moocRP: an open-source learning analytics Research Platform☆15Mar 11, 2016Updated 10 years ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- Parallelized web crawler written in Golang☆15Oct 2, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- ☆11Dec 31, 2019Updated 6 years ago
- anchor alarm based on esp32☆10Sep 1, 2023Updated 2 years ago
- Parallel cloud for Beetle Blocks, plus its sharing site☆20Sep 3, 2025Updated 10 months ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- Compositional CompCert☆15Jan 9, 2019Updated 7 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Web application to allow users to add content metadata about crawled resources☆13Feb 15, 2018Updated 8 years ago
- Materials related to me talk for The Eleventh Hope conference (New York City, July 22-24)☆12Jul 23, 2016Updated 9 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Mar 15, 2026Updated 4 months ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- The TypeScript definition registry☆13Aug 1, 2017Updated 8 years ago
- A customizeable React feedback form with optional screenshot via screen capture and canvas editor based on material-ui.☆12Jan 22, 2026Updated 6 months ago
- TransforMap Demo☆14Aug 10, 2016Updated 9 years ago