🔭 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:
- ☆13Oct 25, 2026Updated last week
- a modular reinforcement learning library with JAX agents☆27Mar 3, 2025Updated last year
- ☆13Aug 9, 2022Updated 4 years ago
- BYTETrack, BoostTrack, BoostTrack+, and BoostTrack++ implemented in pure Rust☆17Updated this week
- Render a JSON with jq patterns.☆20Aug 20, 2023Updated 3 years ago
- 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.
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- ☆12Updated this week
- 🧩 Starter template for ASIC hardware IP blocks with Vyges metadata, OpenLane integration, and comprehensive documentation☆13Apr 30, 2026Updated 6 months ago
- Rust crate for some audio utilities☆32Jun 17, 2026Updated 4 months ago
- Code for the ICML 2023 paper "Learning to acquire novel cognitive tasks with evolution, plasticity and meta-meta-learning"☆11Jun 3, 2023Updated 3 years ago
- ☆14Aug 17, 2026Updated 2 months ago
- Accelerator for MatmulFree LLM algorithm☆14Oct 22, 2026Updated last week
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Port of pybullet envs to gymnasium☆18Mar 4, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated 2 months ago
- ☆17Jul 1, 2025Updated last year
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- An open-source Simulation Trace Format specification☆17Jun 4, 2026Updated 4 months ago
- C++ courses for Paris Dauphine☆22Nov 23, 2021Updated 4 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- 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.
- This repository provides a brief introduction to PID control by using Python examples in Jupyter notebooks.☆24Jan 21, 2024Updated 2 years ago
- ☆18Jul 12, 2024Updated 2 years ago
- Claude Shield (克劳德之盾) - 纯客户端运行的 Claude 安全评估系统，以及 Claude Code 等 Agent 工具的一键防封代理配置工具。☆23Jul 3, 2026Updated 4 months ago
- Library for creating smooth cubic splines☆10Oct 15, 2020Updated 6 years ago
- Synthesize Verilog to Minecraft redstone☆23Nov 9, 2024Updated last year
- Experimental Robotics Simulator☆23Aug 12, 2023Updated 3 years ago
- CIRCT and Yosys interoperability, demonstrated with CHISEL☆18Feb 3, 2026Updated 9 months ago
- Scripts for Digital Design flow control.☆18Oct 30, 2025Updated last year
- [NeurIPS 2024 Spotlight] Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs☆16Feb 22, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rhoban Input/Output Library☆13Jun 16, 2026Updated 4 months ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆22Jan 17, 2026Updated 9 months ago
- The CBLIB base of scripts and tools☆10Apr 5, 2024Updated 2 years ago
- A ROS 1/ROS 2 hybrid package wrapping the Apache TVM project.☆10Jan 24, 2023Updated 3 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- The Quadratic Primal-Dual Optimizer☆14May 13, 2024Updated 2 years ago
- Sassa, an ongoing open source open hardware quadruped robot developed at LAAS☆12May 30, 2023Updated 3 years ago