Machine Learning in Bend 2: Dependent Types, Shapes at the Type Level, and Proven Laws
☆22Nov 8, 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:
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- 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
- ☆49Updated this week
- Vitruvius is an engineering research agent.☆12Updated this week
- ☆12Oct 15, 2026Updated 3 weeks 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.
- Fragmented Classless Inter-Domain Routing (FCIDR)☆17Oct 16, 2026Updated 3 weeks ago
- ☆21Apr 6, 2026Updated 7 months ago
- An open-source, local-first AI-native SDLC orchestration platform☆13Updated this week
- An F# polymorphic, unqualified-accessible set of functions for List, Seq, and Array.☆12Sep 15, 2019Updated 7 years ago
- WebMCP agent skill — make any web app agent-ready, verifiably: inventory, integrate, verify in a real browser, heal. Claude Code, Codex, …☆16Updated this week
- A friendly frontend for determinate computing☆12Updated this week
- CLI tool for generating secure Backend-for-Frontend (BFF) services with Go, Nodejs, and Python☆14Oct 28, 2026Updated 2 weeks ago
- Fast, array-functional language for science and statistics☆10Updated this week
- An opinionated, personal ADE that supports remote backends, agent tools exposed over a control plane and scriptable notification hooks in…☆16Updated this week
- 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.
- My README.md☆10Updated this week
- AI-powered automatic video dubbing and transcription extension for VLC. Convert speech in any video to text and generate natural-sounding…☆10Oct 12, 2026Updated last month
- My Blog with GitHub Pages and Jekyll☆13Updated this week
- Mapa multinorma en español: ENS, ISO/IEC 27001, NIS2, ISO/IEC 42001, DORA, RGPD, NIST CSF 2.0 y leyes LATAM. 594 requisitos sobre 152 con…☆13Oct 31, 2026Updated last week
- Automated threat intelligence collector built with Python and GitHub Actions — fetches recent IOCs from open sources, normalizes and enri…☆16Updated this week
- Weaving prompts and code into structured, resilient patterns that won't unravel under pressure.☆31Dec 6, 2025Updated 11 months ago
- Companion to my book of the same name☆12Nov 5, 2026Updated last week
- Real-time/Historical EVM Indexer x Analytics☆22Updated this week
- Domain-Driven Design (DDD), Clean Architecture (hexagonal, ports and adapters) and Clean Code for TypeScript and Node.js backends: CLI to…☆21Updated this week
- 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.
- Modular .NET infrastructure for C# AI-era backends: ProjectUnits, composable modules, built-in dashboards, and agent skills.☆16Updated this week
- CLI tool to download official Motorola factory firmware and fastboot rescue tools with RSA 410/411 security bypass☆15Oct 16, 2026Updated 3 weeks ago
- Electric circuits - turn any static query into a live one.☆32Jul 23, 2026Updated 3 months ago
- B 站视频 AI 总结 CLI：字幕提取、音频转录、带时间戳的摘要与关键要点，可选发布评论。Bilibili video summarization CLI powered by LLMs.☆11Oct 24, 2026Updated 2 weeks ago
- ☆12Updated this week
- Run Arduino/AVR Code on your PC (inside a docker container) including support for serial communication. State of the simulated microcontr…☆13Updated this week
- A feature rich and optimized online map for Simrail.☆15Updated this week
- Firefox extension that redirects x.com/twitter.com to a working Nitter instance, chosen from live health data and instances that have wor…☆12Nov 6, 2026Updated last week
- ☆10Oct 11, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mirrored from https://cremin.dev/jonathan/hostr☆20Updated this week
- Community engine for Nuvio providers: aggregation, compatibility tests, repair, native Labs & learning. No media hosted/distributed; name…☆14Updated this week
- Open AI-generated notes for long-form AI podcasts, YouTube talks, and technical conversations.☆12Updated this week
- 一套多边形平铺或错列布局库。Staggered arrangement method of polygon tiles.☆13Oct 20, 2026Updated 3 weeks ago
- Distributed Semantic Knowledge Network built with technologies LLMs already know: git and markdown, with a SCHEMA and a CLI that keep age…☆12Nov 5, 2026Updated last week
- Fable Formlets (Applicative Functor Forms kind of)☆14Dec 2, 2018Updated 7 years ago
- Everything about me :)☆12Updated this week
Are these results useful?