☆222Mar 28, 2019Updated 7 years ago
Alternatives and similar repositories for OpenCourse
Users that are interested in OpenCourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Feb 28, 2022Updated 4 years ago
- Official evaluation models and configuration for Stage 1 of the SAIR Mathematics Distillation Challenge: Equational Theories.☆19Apr 19, 2026Updated 4 months ago
- 🌳 Building educational codespaces☆11May 6, 2025Updated last year
- ☆19Mar 26, 2026Updated 5 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Zed extension using the Vale language server.☆18Apr 2, 2025Updated last year
- Challenging myself to learn CUDA (Basics → Intermediate) these 100 days.☆37Mar 2, 2026Updated 5 months ago
- ☆12Feb 24, 2023Updated 3 years ago
- A first person character controller for the Three.js graphics library☆18Dec 18, 2022Updated 3 years ago
- Institute for Research and Innovation in Software for High Energy Physics☆38Updated this week
- A cool slack over ssh project with a pretty bubbletea tui☆18Aug 5, 2026Updated 3 weeks ago
- ☆32Sep 8, 2023Updated 2 years ago
- An API for Hackatime status badges!☆14May 19, 2025Updated last year
- ACM金牌手撕算法，代码+解析，刷爆LeetCode/LintCode☆18Mar 13, 2022Updated 4 years 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.
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆86Apr 1, 2026Updated 4 months ago
- 使用 Rust 语言重新实现 https://github.com/zjhellofss/KuiperInfer 和 https://github.com/zjhellofss/kuiperdatawhale 中的深度学习推理框架。☆17Apr 9, 2024Updated 2 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 9 years ago
- Mathematica packages for geometric algebra☆54May 14, 2025Updated last year
- A simple extension that adds some new features to the HighSeas-Shipyard page!☆17Dec 8, 2024Updated last year
- Spark编程基础教程，参考资料，囊括整个spark生态组件的学习，基于Scala；源自厦大实验室大数据教材☆15Feb 9, 2020Updated 6 years ago
- Next generation MCMC samplers with automatic differentiaion and adaptive Poisson thinning☆13Jul 14, 2026Updated last month
- A cross platform volume rendering and processing application. (PhD project)☆12May 15, 2014Updated 12 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.
- ☆19Feb 8, 2023Updated 3 years ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆40Jan 6, 2025Updated last year
- Your personal markdown scribe with template-engine and Git(Hub) & RSS powers 📜☆16Dec 20, 2025Updated 8 months ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated last year
- ☆11Jul 15, 2024Updated 2 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆35Apr 22, 2024Updated 2 years ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 10 months ago
- Conditional Flow Matching using JAX☆13Jun 22, 2023Updated 3 years ago
- Boost.org typeof module☆13Aug 12, 2026Updated 2 weeks 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.
- A .tex file to use in the math discord☆16Dec 10, 2025Updated 8 months ago
- 一日不读书，胸臆无佳想；一月不读 书，耳目失清爽。☆17Jul 24, 2020Updated 6 years ago
- a curated list of awesome memo☆19Jan 5, 2026Updated 7 months ago
- The official Issue Tracker for Enigmatica 2: Expert Skyblock☆13Sep 28, 2024Updated last year
- Package for data-driven and phenomenological gravitational waveform models☆12Aug 4, 2026Updated 3 weeks ago
- 自制基于C++的深度学习前向推理框架☆22Jun 4, 2023Updated 3 years ago
- Gemini client with vim-like keybindings☆16May 26, 2026Updated 3 months ago