Pipeline and dataset for reproducing 3D transcranial ultrasound localization microscopy
☆120Jul 31, 2026Updated last month
Alternatives and similar repositories for microbubbles
Users that are interested in microbubbles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tells you what anyone did this week on GitHub.☆18May 23, 2025Updated last year
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- 📀 Caches of hacker culture in the 2020s, placed around the world by Hack Clubbers.☆14Sep 14, 2022Updated 4 years ago
- Replace twitter.com with twitter-og.com when you share a tweet to show previews again!☆45Dec 14, 2023Updated 2 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 8 months 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.
- 💖 a web collection for the best people in the world☆17Jan 6, 2023Updated 3 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- An unbounded n-gram language model on Tiny Shakespeare☆23Jan 21, 2026Updated 8 months ago
- A timeline of Hack Club's history!☆17Jul 11, 2023Updated 3 years ago
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated 2 years ago
- CLI tool for submitting GPU kernels☆13Apr 28, 2026Updated 4 months ago
- 📸 gotta find 'em all; spatial reasoning benchmark for LLMs☆168Sep 17, 2026Updated last week
- Zero-Knowledge OTP verification on chain☆44Mar 8, 2023Updated 3 years ago
- 💻 Community maintained collection of Hacker Resources☆20Mar 14, 2023Updated 3 years ago
- 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.
- ☆17Feb 17, 2024Updated 2 years ago
- Jido implementation of Managed Agents on Phoenix☆23Updated this week
- The Exun website.☆13Mar 6, 2023Updated 3 years ago
- A Python DSL for Apple Metal GPU compute☆26Jul 23, 2026Updated 2 months ago
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Jul 31, 2026Updated last month
- 🌁 The landing page for Assemble. Built using Next.js, Theme UI & MDX.☆24Jan 3, 2024Updated 2 years ago
- Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no so…☆42Sep 3, 2026Updated 3 weeks ago
- ☆17Jun 12, 2022Updated 4 years ago
- Knowledge Graph Toolkit☆26Jun 30, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Slack emoji uploader bot☆22Jan 6, 2025Updated last year
- A 3D visualization tool for phased array analysis☆10Sep 24, 2024Updated 2 years ago
- Collection of "hello world" programs in different programming languages.☆14Mar 28, 2023Updated 3 years ago
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- A discord bot to fetch my school timetable☆11Nov 11, 2021Updated 4 years ago
- eplicates and extends Anthropic's April 2026 paper ["Emotion Concepts and their Function in a Large Language Model"](https://transformer-…☆33Apr 7, 2026Updated 5 months ago
- Play YouTube videos directly in your terminal with synchronized audio using ASCII rendering or ANSI truecolor.☆24Jul 23, 2026Updated 2 months ago
- A package for making MuE observation models in Edward2.☆13Jun 10, 2021Updated 5 years ago
- Official Repo For PerceptionDLM Codebase☆78Jun 22, 2026Updated 3 months ago
- 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.
- Proof contribute to github using zk☆27Jul 17, 2023Updated 3 years ago
- 🌬️ A programming language with minimal and simple syntax☆35Mar 5, 2022Updated 4 years ago
- My vibe casting repository☆22Updated this week
- Decree Fiat Shamir Library☆12Aug 12, 2026Updated last month
- Keeping track of problems ive solved☆12Jan 14, 2022Updated 4 years ago
- TextGraphs + LLMs + graph ML for entity extraction, linking, ranking, and constructing a lemma graph☆25Feb 24, 2024Updated 2 years ago
- Powered by ChatterboxTTS | Transformer | Llama | Gradio☆18Sep 7, 2025Updated last year