Virtual Office gives you transparency on what Zoom.us rooms are currently occupied and who is present
☆123Jun 1, 2026Updated last week
Alternatives and similar repositories for virtual-office
Users that are interested in virtual-office are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Our Website☆17Oct 19, 2022Updated 3 years ago
- Skeleton project that builds with any of the three major build tools.☆15Dec 4, 2016Updated 9 years ago
- 🏂🏻 Haskell based Retro board☆16Mar 25, 2022Updated 4 years ago
- Argcomplete support for tab completion of Python and Xonsh scripts in the Xonsh shell.☆33Apr 23, 2026Updated last month
- A Docker Stack deployment for the monitoring suite for Docker Swarm includes (Grafana, Prometheus, cAdvisor, Node exporter and Blackbox p…☆13May 8, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A collection of Common Lisp utilities to ratify, validate and parse inputs.☆31May 18, 2026Updated 3 weeks ago
- My config for Home Assistant running on Linux 18.04 LTS in Docker.☆11Nov 5, 2019Updated 6 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- CAP project -- Categories, Algorithms, and Programming☆42Jun 1, 2026Updated last week
- Homotopy type theory cheatsheets☆12Apr 15, 2026Updated last month
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 9 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Build West (Zephyr OS) projects with Nix☆21Jul 31, 2025Updated 10 months ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years 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.
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 2 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆18May 17, 2015Updated 11 years ago
- Generates http servers that respond in predefined manner☆20Apr 7, 2023Updated 3 years ago
- Importa en el panel de energía el consumo y coste de electricidad desde ufd.es y ree.es. Calcula las facturas desde cnmc.gob.es.☆13Apr 2, 2026Updated 2 months ago
- Packer build scripts for NixOS base images☆32Sep 11, 2015Updated 10 years ago
- appdaemon class to feed informations to a PixelIT 32x8 RGB matrix display☆10Jan 2, 2022Updated 4 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 8 years ago
- ☆12Oct 16, 2020Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Easy managable infrastructure for small devops teams or startups (based on ansible, nomadproject, docker, prometheus)☆40Mar 15, 2024Updated 2 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- ☆49Jul 5, 2019Updated 6 years ago
- org-babel integration with SageMath☆37Jul 19, 2020Updated 5 years ago
- Random notes on mathematics (in German)☆13Updated this week
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 5 months ago
- Home Assistant custom lovelace sonos card☆11Aug 13, 2020Updated 5 years ago
- wifi controlled window blinds using mqtt controlled by domoticz☆12Aug 25, 2018Updated 7 years ago
- Haskell bindings for CouchDB☆32Apr 25, 2015Updated 11 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.
- RTSP server☆21Nov 30, 2019Updated 6 years ago
- ☆24Oct 26, 2022Updated 3 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- This tool allow find a string or substring from a text and highlight it with html wrapper with unicode support.☆17Updated this week
- My Home Assistant Configuration☆11Feb 15, 2022Updated 4 years ago
- MQTT proxy which handles preauth and partitioning of user topics☆11Mar 21, 2016Updated 10 years ago
- Home Assistant component for fuel prices from United Consumers☆10May 21, 2026Updated 2 weeks ago