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 5 years ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 4 months ago
- ☆14Apr 11, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago
- How to read Lean☆24Jan 30, 2025Updated last year
- using Geodata solution REST API☆15Jan 19, 2018Updated 8 years ago
- Counter Strike, but chickens only.☆16Jul 2, 2017Updated 8 years ago
- ☆26Feb 3, 2026Updated 2 months ago
- A slick numerics-oriented Mathematical library for Java☆24Jul 12, 2025Updated 9 months ago
- Goldbach conjecture = 25-state turing machine☆39Jan 13, 2025Updated last year
- A Lean4 Formalization of Polynomial Functors☆27Dec 22, 2025Updated 3 months ago
- An example project that shows how to integrate flawless workflows into native Rust projects.☆15Dec 6, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Dec 24, 2019Updated 6 years ago
- ☆27Mar 31, 2026Updated 2 weeks ago
- Play Unstable Unicorns online in your web browser☆26Apr 9, 2025Updated last year
- Lean 4 formalization of Rubik's cubes☆33Feb 17, 2025Updated last year
- 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
- A pandas I/O wrapper.☆30Dec 16, 2025Updated 4 months ago
- ☆34Jun 15, 2025Updated 10 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆44Feb 27, 2026Updated last month
- ☆14Aug 2, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆15Nov 21, 2023Updated 2 years ago
- PostgreSQL extension to send email using SMTP☆10Sep 15, 2025Updated 7 months ago
- Supabase Auth, Realtime, RPC client written in Rust☆11Nov 21, 2025Updated 4 months ago
- Supabase Rust SDK☆26Oct 16, 2025Updated 6 months ago
- computable implementation of real numbers in Lean4☆49Jul 6, 2025Updated 9 months ago
- 🔀 Render from Json object☆12Jan 6, 2023Updated 3 years ago
- 🔤 A highly customizable input component for WASM frameworks.☆15May 12, 2025Updated 11 months ago
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆94Dec 24, 2025Updated 3 months ago
- A matchmaking alternative for CSGO☆36Mar 1, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A list of awesome number theory resources☆33Dec 31, 2022Updated 3 years ago
- Using Rust to write an asterisk module☆16Mar 31, 2014Updated 12 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 2 months ago