☆44Feb 17, 2026Updated last month
Alternatives and similar repositories for pbcc
Users that are interested in pbcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic solver for plane geometry problems.☆88Feb 24, 2026Updated last month
- ☆29Dec 7, 2025Updated 3 months ago
- Official implementation for the paper "Aligning Perception, Reasoning, Modeling and Interaction: A Survey on Physical AI"☆43Oct 26, 2025Updated 5 months ago
- Manage objects inside a cdn☆19Mar 1, 2026Updated 3 weeks ago
- Harmonic Datasets☆54Jul 12, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆21Dec 3, 2025Updated 3 months ago
- Burstable Cloud Scheduler☆16Jun 6, 2024Updated last year
- NeurIPS 2020☆16Jun 18, 2021Updated 4 years ago
- University of California, Santa Barbara Grades from Fall 2015 to Winter 2021☆12Nov 15, 2022Updated 3 years ago
- ☆24Apr 13, 2024Updated last year
- Postes, Télégraphes et Téléphones☆28Dec 15, 2025Updated 3 months ago
- AI-driven discovery of new Gravitational Wave Detectors☆25Jan 10, 2024Updated 2 years ago
- ☆49Feb 27, 2026Updated 3 weeks ago
- ☆28Sep 11, 2017Updated 8 years ago
- 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.
- minimal DL library in C: 24 NAIVE cuda/cpu ops, autodiff engine, python API (ops bindings/layers/models), tensor abstraction, strides, co…☆59Dec 17, 2025Updated 3 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆80Mar 19, 2026Updated last week
- 📕 Proof-Based Math Readings is a free, independent online reading group where we study the mathematics required for economics master’s a…☆19Feb 2, 2026Updated last month
- Fast Python dataclasses serialization☆37Mar 11, 2026Updated 2 weeks ago
- GitHub action for standard CI in Lean projects☆31Mar 3, 2026Updated 3 weeks ago
- MAIR: A Massive Benchmark for Evaluating Instructed Retrieval. Evaluate your retrieval models on 126 diverse tasks. [EMNLP 2024]☆24Nov 3, 2024Updated last year
- Llama.cpp runner/swapper and proxy that emulates LMStudio / Ollama backends☆55Aug 21, 2025Updated 7 months ago
- A diagram (topology, UML) framework uses canvas and typescript. 一个用canvas+typescrip写的绘图（微服务架构图、拓扑图、流程图、类图等各种ULM，待逐渐支持）工具。☆20Sep 2, 2019Updated 6 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆33Dec 9, 2025Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Site and Resource topology data for the Open Science Grid☆22Updated this week
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- Fullstack.app implementation using Convex / Auth0☆32Feb 6, 2026Updated last month
- Python package for RF and link budget computation☆53Updated this week
- Persistent dense gemm for Hopper in `CuTeDSL`☆15Aug 9, 2025Updated 7 months ago
- A formalization of ML kernel languages☆45Mar 6, 2026Updated 2 weeks ago
- Benchmark tests supporting the TiledCUDA library.☆18Nov 19, 2024Updated last year
- Python library for computational formal logic, formal semantics, and theorem proving☆31Dec 13, 2025Updated 3 months ago
- GraphML is an XML-based file format for graphs☆28Jan 28, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automating analysis from trace files☆64Updated this week
- A rust implementation of a key-value store with Log-Structured Merge Trees.☆15Nov 12, 2021Updated 4 years ago
- 详细双语注释版word2vec源码，well-annotated word2vec☆10Oct 3, 2021Updated 4 years ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆82Dec 11, 2025Updated 3 months ago
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- Formalization of the Millennium Problems in Lean 4☆45Jan 16, 2026Updated 2 months ago
- Website for CSE 234, Winter 2025☆13Mar 24, 2025Updated last year