clowdr-app / clowdr
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.
☆59Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for clowdr
- Old Clowdr versions 1 & 2 from 2020☆36Updated 3 years ago
- Clingo on the web☆33Updated last week
- 👓 Lorgnette is a framework to create code editors with malleable projections of pieces of code.☆15Updated 6 months ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆20Updated last year
- A SolidJS diagramming framework☆75Updated 2 months ago
- Peasy: An Intuitive Development Environment for P☆13Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- A multi-cursor structural editor prototype for TypeScript☆57Updated last year
- A CSS specification and reasoning engine☆92Updated last year
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Alloy with browser-based visualizations☆27Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated this week
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆74Updated 8 years ago
- Online BDD Simulation Tool☆17Updated 2 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Use MiniZinc in the browser or with NodeJS☆31Updated last week
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 3 weeks ago
- A projectional editor for JSON DSLs☆24Updated 7 months ago
- A model-checker for caml programs.☆13Updated 3 years ago
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆14Updated last week
- ☆27Updated last year
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆86Updated 2 months ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆24Updated 3 months ago
- Typir is a library for building type systems☆10Updated last week
- Incremental Program Analysis Framework☆91Updated 3 years ago
- Tool for suggesting lemma names in Coq verification projects☆18Updated 2 years ago
- An IDE for JavaScript, without the "bad parts".☆30Updated last year
- PL conference deadline countdowns☆52Updated last week