🔭 interactively explore `onnx` networks in your CLI.
☆26Jun 7, 2024Updated last year
Alternatives and similar repositories for nnli
Users that are interested in nnli 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 small rust-based data loader☆36Feb 20, 2026Updated last month
- Rust crate for some audio utilities☆27Mar 8, 2025Updated last year
- ☆13Aug 9, 2022Updated 3 years ago
- An unofficial implementation of BitNet☆12Mar 22, 2024Updated 2 years ago
- Temporally Correlated Episodic Reinforcement Learning, ICLR 24☆12Apr 8, 2024Updated last year
- Port of pybullet envs to gymnasium☆18Mar 4, 2025Updated last year
- Render a JSON with jq patterns.☆20Aug 20, 2023Updated 2 years ago
- ☆16Apr 1, 2024Updated last year
- Proof of concept for running moshi/hibiki using webrtc☆20Feb 28, 2025Updated last year
- Synthesize Verilog to Minecraft redstone☆21Nov 9, 2024Updated last year
- This repository contains Reinforcement Learning (RL) environments for the Upkie robot.☆23Mar 11, 2026Updated last week
- This repository provides a brief introduction to PID control by using Python examples in Jupyter notebooks.☆23Jan 21, 2024Updated 2 years ago
- ☆28Mar 31, 2025Updated 11 months ago
- ☆19Jul 12, 2024Updated last year
- ☆27Dec 13, 2024Updated last year
- Simple C++ abstraction layer for quadratic programming solvers using Eigen.☆35Jun 27, 2025Updated 8 months ago
- Official pytorch implementation for our ICLR 2023 paper "Latent State Marginalization as a Low-cost Approach for Improving Exploration".☆24Feb 9, 2023Updated 3 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Additional DRL algorithms to the StableBaselines3 lib☆19Sep 27, 2024Updated last year
- Library for creating smooth cubic splines☆10Oct 15, 2020Updated 5 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- ☆24Jun 23, 2024Updated last year
- ☆29Jul 9, 2024Updated last year
- The Quadratic Primal-Dual Optimizer☆13May 13, 2024Updated last year
- [NeurIPS 2024 Spotlight] Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs☆15Feb 22, 2026Updated last month
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆29Sep 3, 2024Updated last year
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Nov 21, 2024Updated last year
- Command-line backgammon with a bot trained using reinforcement learning☆15May 16, 2019Updated 6 years ago
- [AutoML'22] Bayesian Generational Population-based Training (BG-PBT)☆29Sep 16, 2022Updated 3 years ago
- ☆23Aug 19, 2022Updated 3 years ago
- Scalable metrics logging and analysis☆18Apr 9, 2025Updated 11 months ago
- ros2_control hardware interface for the mjbots pi3hat☆12Feb 21, 2024Updated 2 years ago
- A dedicated solver for the capture problem initially presented in S. Caron, B. Mallein "Balance control using both ZMP and COM height var…☆12Oct 16, 2019Updated 6 years ago
- A Python implementation of COMO-CMA-ES, a non-elitist multiobjective Evolution Strategy☆16Jan 24, 2026Updated 2 months ago
- This library computes a Contact Wrench Cone using polyhedral presentation.☆13Oct 15, 2019Updated 6 years ago
- Publication-ready visualization of 3D objects and point clouds in seconds.☆40Mar 1, 2026Updated 3 weeks ago
- ☆20Feb 8, 2024Updated 2 years ago
- A fast C++ solver for lexicographic least-squares problems☆12Mar 17, 2026Updated last week
- [ICCV 2025] Official implementation of the paper: "Dynamic-DINO: Fine-Grained Mixture of Experts Tuning for Real-time Open-Vocabulary Obj…☆75Jul 29, 2025Updated 7 months ago