clowdr-app / clowdrLinks
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.
☆57Updated 3 years ago
Alternatives and similar repositories for clowdr
Users that are interested in clowdr are comparing it to the libraries listed below
Sorting:
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆22Updated 2 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆97Updated this week
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- ☆44Updated 3 weeks ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Multiroom meeting app integrating web tools☆46Updated last year
- KJS: A Complete Formal Semantics of JavaScript☆103Updated 9 years ago
- A CSS specification and reasoning engine☆101Updated 2 years ago
- PC-miner tool for program chairs☆29Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- A short book on cooperative aspects of software engineering.☆64Updated 2 weeks ago
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A Lustre compiler in Coq☆71Updated last month
- Staged Abstract Interpreters☆69Updated 2 years ago
- Cocreate Shared Whiteboard/Drawing☆218Updated 8 months ago
- SMTInterpol interpolating SMT solver☆69Updated last week
- 👓 Lorgnette is a framework to create code editors with malleable projections of pieces of code.☆21Updated last year
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 7 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- A SolidJS diagramming framework☆74Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 7 years ago
- ☆15Updated last year
- Educational Proof Assistant for Type Theory☆80Updated 3 weeks ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago