Machine Learning in Bend 2: Dependent Types, Shapes at the Type Level, and Proven Laws
☆21Oct 23, 2026Updated this week
Alternatives and similar repositories for bend-ml
Users that are interested in bend-ml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Llama-architecture models (SmolLM2 135M, 360M, 1.7B) in Bend 2, token for token against PyTorch, with the shapes in the types☆16Updated this week
- Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.☆21Sep 18, 2026Updated last month
- ☆47Oct 5, 2026Updated 2 weeks ago
- ☆12Oct 15, 2026Updated last week
- A C++20 library and interactive application for building and simulating Dynamic Neural Field (DNF) architectures.☆19Oct 9, 2026Updated 2 weeks ago
- 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.
- An open research program exploring the mathematics of artificial thought: information geometry, topology, dynamical systems, and thermody…☆17Updated this week
- My Blog with GitHub Pages and Jekyll☆13Updated this week
- ☆14Mar 15, 2021Updated 5 years ago
- OpenConstruction project☆15Feb 14, 2023Updated 3 years ago
- Your SvelteKit app's code health, checked before it ships. Statically, no browser — SEO, Performance, Correctness, Security, Architecture…☆24Updated this week
- ☆39Oct 15, 2026Updated last week
- Lightweight, fully customizable QR code library for React and React Native. Pure SVG, zero dependencies, built from scratch.☆40Updated this week
- Shared AI agent workflow infrastructure for reusable local and remote development loops☆18Oct 16, 2026Updated last week
- Offline, ultra-low-latency voice dictation: global push-to-talk hotkeys, a Ratatui TUI, and instant text injection across Linux, Windows,…☆11Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Automated threat intelligence collector built with Python and GitHub Actions — fetches recent IOCs from open sources, normalizes and enri…☆16Updated this week
- ☆11Jun 4, 2023Updated 3 years ago
- WebSharper bindings for D3 (http://d3js.org)☆10Updated this week
- Interactive maps for Phoenix LiveView, powered by OpenLayers. Assign a list of markers, get a live map.☆17Updated this week
- My README.md☆10Updated this week
- A repository to Chat with Data (Csv, Excel)☆10Dec 22, 2023Updated 2 years ago
- An auto-updating open-source vault for AI agents, RAG systems, MCP servers, prompts, tools, templates, and next-generation web developmen…☆22Updated this week
- A self-hosted web frontend and SSH gateway for the official Codex app-server.☆33Updated this week
- Agentic development environment: run Claude Code, Codex, OpenCode and Gemini CLI side by side, and follow every PR from agent to release …☆25Updated this week
- 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.
- Is It Stable? — Version stability verdicts for npm packages. Because upgrading shouldn't require courage.☆29Updated this week
- ☆18Apr 8, 2026Updated 6 months ago
- implementation of “MaskPLAN: Masked Generative Layout Planning from Partial Input”☆15Sep 2, 2026Updated last month
- An F# polymorphic, unqualified-accessible set of functions for List, Seq, and Array.☆12Sep 15, 2019Updated 7 years ago
- Run Arduino/AVR Code on your PC (inside a docker container) including support for serial communication. State of the simulated microcontr…☆12Updated this week
- A fully customizable static site generator using the power of FAKE☆11Jul 15, 2019Updated 7 years ago
- Local MCP server for YNAB with read-only defaults, full API coverage, safe write controls, and support for budgets, transactions, categor…☆40Oct 14, 2026Updated last week
- An opinionated, personal ADE that supports remote backends, agent tools exposed over a control plane and scriptable notification hooks in…☆15Updated this week
- Talk to your coding agents — press a hotkey, speak your prompt, and it lands in Claude Code, Codex, or Cursor. Fully local voice dictatio…☆33Oct 16, 2026Updated last week
- 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.
- One verdict per IP, in plain words — evidence, confidence, geo & ASN fused from 49 public intel sources. 44/49 need no API key. One comma…☆24Updated this week
- A P model of durable Promises☆14Oct 6, 2023Updated 3 years ago
- Static Python bindings for Ethereum smart contracts.☆12Dec 9, 2024Updated last year
- ☆14Updated this week
- A shadcn-compatible registry of 542 React components you install as plain source — no package, no lock-in. Tailwind v4, Motion, and react…☆33Updated this week
- Single-line local context HUD for Codex CLI sessions.☆13Updated this week
- Compares components available in shadcn (React), shadcn-svelte, bits-ui (Svelte), & melt-ui (Svelte). Updated daily via cron.☆13Updated this week