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.
☆58Updated 2 years ago
Alternatives and similar repositories for clowdr:
Users that are interested in clowdr are comparing it to the libraries listed below
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 8 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 4 months ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- PL conference deadline countdowns☆55Updated last week
- Wasm SpecTec specification tools☆33Updated this week
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated this week
- Deadlock freedom by type checking☆19Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- PC-miner tool for program chairs☆24Updated 2 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆20Updated last year
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 10 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week
- ☆40Updated last month
- A multi-cursor structural editor prototype for TypeScript☆60Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated 2 weeks ago
- ☆35Updated 3 months ago
- A Lustre compiler in Coq☆66Updated last month
- Alloy with browser-based visualizations☆29Updated 3 years ago
- Women in Programming Languages and Software Engineering Research☆169Updated 2 months ago
- A book surveying the literature on user interface software and technology.☆57Updated last month
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated 3 weeks ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A CSS specification and reasoning engine☆94Updated 2 years ago
- Coq utility and tactic library.☆21Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆41Updated last week