PyTorch inference script for TransNetV2
☆28Aug 17, 2025Updated 7 months ago
Alternatives and similar repositories for transnetv2_pytorch
Users that are interested in transnetv2_pytorch 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 multi-stage graph neural network classification pipeline for protein meshes.☆15Oct 20, 2025Updated 5 months ago
- A simple Discord bot to change username's colors by replacing their roles☆16Oct 25, 2022Updated 3 years ago
- Trying to implement python functions in C so it's easier to read.☆16Mar 26, 2023Updated 3 years ago
- Video-based gait analysis for assessing Alzheimer’s Disease and Dementia with Lewy Bodies☆18Jul 5, 2024Updated last year
- ☆12Nov 1, 2023Updated 2 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.
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Django API for CS426 Mobile Project☆20Sep 19, 2023Updated 2 years ago
- Remote sensing pretrained models easy loading using huggingface -- PyTorch☆37Mar 2, 2026Updated 3 weeks ago
- ☆19Jun 26, 2024Updated last year
- ☆12Jan 22, 2026Updated 2 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- A simple Tensor compiler framework with educational purpose in mind.☆33Mar 8, 2026Updated 2 weeks ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- 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.
- ☆14Updated this week
- LatentDE: Latent-based Directed Evolution for Protein Sequence Design☆38Apr 2, 2025Updated 11 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- ☆15Oct 19, 2023Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 4 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- 图片去重软件ImageContrastTools是一款基于Electron开发的可视化图片去重软件工具☆23Apr 30, 2025Updated 10 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 3 months ago
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- My GitHub profile page☆14Dec 26, 2025Updated 3 months ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- Fork of Python with some terrible custom features hacked in☆14Oct 7, 2022Updated 3 years ago
- Lighweight enhanced Actors for Java☆13May 2, 2014Updated 11 years ago
- A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption …☆19Aug 5, 2025Updated 7 months ago
- XHS MCP Agent - A MCP server implementation☆19Apr 25, 2025Updated 11 months 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.
- Additional Jest matchers for snapshot testing.☆21Jul 11, 2023Updated 2 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- AI写作小工具方案：让2个智能体合作写出真正可用的图文并茂的帖子（微信公众号，小红书，博客）。1，写作智能体，2，知识库智能体。☆21Jun 8, 2025Updated 9 months ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 3 months ago
- The Evi programming language☆16Jun 17, 2022Updated 3 years ago
- ilo pali is a RISC V operating system featuring a microkernel.☆10Jul 4, 2024Updated last year