A Rust adapter for the Janus WebRTC server 🦀
☆13Feb 22, 2026Updated last month
Alternatives and similar repositories for jarust
Users that are interested in jarust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool designed to process and analyze .xcresult bundles generated from Xcode test runs. It extracts key insights and outputs a detailed …☆10Dec 16, 2024Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Example of GStreamer with Swift☆15Apr 14, 2021Updated 4 years ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 3 months ago
- ☆13Updated this week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago
- How to read Lean☆22Jan 30, 2025Updated last year
- A modern Wine wrapper for macOS built with SwiftUI☆32Jul 12, 2025Updated 8 months ago
- using Geodata solution REST API☆15Jan 19, 2018Updated 8 years ago
- Counter Strike, but chickens only.☆16Jul 2, 2017Updated 8 years ago
- ☆27Feb 3, 2026Updated last month
- A slick numerics-oriented Mathematical library for Java☆22Jul 12, 2025Updated 8 months ago
- Goldbach conjecture = 25-state turing machine☆39Jan 13, 2025Updated last year
- A Lean4 Formalization of Polynomial Functors☆28Dec 22, 2025Updated 3 months ago
- 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.
- An example project that shows how to integrate flawless workflows into native Rust projects.☆15Dec 6, 2024Updated last year
- ☆11Dec 24, 2019Updated 6 years ago
- ☆25Updated this week
- Play Unstable Unicorns online in your web browser☆25Apr 9, 2025Updated 11 months ago
- Devalopers is an online platform (backend here) that allows Tech Companies in Globally and especially in MENA to post jobs and projects w…☆12Jan 24, 2023Updated 3 years ago
- Lean 4 formalization of Rubik's cubes☆32Feb 17, 2025Updated last year
- A pandas I/O wrapper.☆30Dec 16, 2025Updated 3 months ago
- ☆33Jun 15, 2025Updated 9 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆42Feb 27, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Aug 2, 2019Updated 6 years ago
- ☆15Nov 21, 2023Updated 2 years ago
- PostgreSQL extension to send email using SMTP☆10Sep 15, 2025Updated 6 months ago
- computable implementation of real numbers in Lean4☆48Jul 6, 2025Updated 8 months ago
- 🔀 Render from Json object☆12Jan 6, 2023Updated 3 years ago
- 🔤 A highly customizable input component for WASM frameworks.☆15May 12, 2025Updated 10 months ago
- A matchmaking alternative for CSGO☆36Mar 1, 2023Updated 3 years ago
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆93Dec 24, 2025Updated 3 months ago
- A list of awesome number theory resources☆33Dec 31, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Using Rust to write an asterisk module☆16Mar 31, 2014Updated 11 years ago
- Declarative typescript validator with nested logic operator support.☆11Mar 23, 2019Updated 7 years ago
- sea_orm_casbin_adapter☆10May 12, 2022Updated 3 years ago
- Rust-based PBX☆15Dec 17, 2022Updated 3 years ago
- Vue.js example with rails-api and JWT☆11Jan 19, 2023Updated 3 years ago
- A wrapper around websys and tokio-tungstenite that makes it easy to use websockets cross-platform.☆31Feb 15, 2026Updated last month
- Quickly create routes to test with your frontend☆13Aug 25, 2024Updated last year