🔭 interactively explore `onnx` networks in your CLI.
☆27Jun 7, 2024Updated 2 years ago
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:
- ☆13Feb 22, 2024Updated 2 years ago
- An extension library to Candle that provides PyTorch functions not currently available in Candle☆42Mar 15, 2024Updated 2 years ago
- Read and write tensorboard data using Rust☆23Feb 4, 2024Updated 2 years ago
- ☆13Aug 9, 2022Updated 4 years ago
- BYTETrack, BoostTrack, BoostTrack+, and BoostTrack++ implemented in pure Rust☆17Sep 1, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a modular reinforcement learning library with JAX agents☆27Mar 3, 2025Updated last year
- A small rust-based data loader☆39Sep 9, 2026Updated last month
- An unofficial implementation of BitNet☆12Mar 22, 2024Updated 2 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- A Lean-embedded framework to verify Verilog modules☆16Oct 6, 2026Updated last week
- Render a JSON with jq patterns.☆20Aug 20, 2023Updated 3 years ago
- ☆12Jan 4, 2024Updated 2 years ago
- This repository provides a brief introduction to PID control by using Python examples in Jupyter notebooks.☆24Jan 21, 2024Updated 2 years ago
- Synthesize Verilog to Minecraft redstone☆23Nov 9, 2024Updated last year
- 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.
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated 2 weeks ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Dec 2, 2025Updated 10 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆21Jun 26, 2021Updated 5 years ago
- Experimental Robotics Simulator☆23Aug 12, 2023Updated 3 years ago
- ☆25Dec 13, 2024Updated last year
- My Blog about User Interface- and Functional Programming.☆16May 7, 2023Updated 3 years ago
- Rust client for the Gradium Voice☆22Oct 6, 2026Updated last week
- 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.
- A Mac desktop app that helps you to not touch your pimples or face and calls you out when you do.☆15Mar 29, 2026Updated 6 months ago
- ☆18Jul 12, 2024Updated 2 years ago
- TAIDL: Tensor Accelerator ISA Definition Language☆22Apr 28, 2026Updated 5 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
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated last month
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆22Jan 17, 2026Updated 8 months ago
- CIRCT and Yosys interoperability, demonstrated with CHISEL☆18Feb 3, 2026Updated 8 months ago
- Library for creating smooth cubic splines☆10Oct 15, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ros2_control hardware interface for the mjbots pi3hat☆13Feb 21, 2024Updated 2 years ago
- Scripts for Digital Design flow control.☆18Oct 30, 2025Updated 11 months ago
- C++ reflection library with focus on serialization/configuration (ROS parameters, YAML, JSON, XML, etc)☆18Sep 19, 2026Updated 3 weeks ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- Rhoban Input/Output Library☆13Jun 16, 2026Updated 3 months ago
- Describes interfaces for state observers, and implements some oberservers (including linear and extended Kalman filters)☆14Aug 9, 2023Updated 3 years ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year