Skip to content
View Splines's full-sized avatar
🎈
🎈

Sponsoring

@imsnif
@marcoroth

Highlights

  • Pro

Organizations

@MaMpf-HD @inSPEYERed @sciai-lab @Manim-Notebook

Block or report Splines

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The math library of Lean 4

Lean 3,100 1,206 Updated Apr 5, 2026

🌿 Powerful and seamless HTML-aware ERB toolchain.

TypeScript 1,126 83 Updated Apr 5, 2026

🤖 Just a command runner

Rust 32,602 711 Updated Apr 5, 2026

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Python 98,799 27,400 Updated Apr 5, 2026

An extremely fast Python package and project manager, written in Rust.

Rust 82,629 2,907 Updated Apr 5, 2026

Empowering everyone to build reliable and efficient software.

Rust 111,705 14,704 Updated Apr 5, 2026

The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

Rust 167,730 102,003 Updated Apr 5, 2026

🏆 The Best Pagination Ruby Gem 🥇

Ruby 4,959 440 Updated Apr 5, 2026

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

C++ 33,663 1,534 Updated Apr 5, 2026

Debugging functionality for Ruby

Ruby 1,260 145 Updated Apr 5, 2026

Run your GitHub Actions locally 🚀

Go 69,708 1,901 Updated Apr 5, 2026

Copilot Chat extension for VS Code

TypeScript 9,762 1,811 Updated Apr 5, 2026

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Rust 3,058 140 Updated Apr 5, 2026

Visual Studio Code

TypeScript 183,434 38,970 Updated Apr 5, 2026

Fast, easy and reliable testing for anything that runs in a browser.

TypeScript 49,611 3,401 Updated Apr 5, 2026

Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

JavaScript 98,019 32,688 Updated Apr 5, 2026

Lean 4 programming language and theorem prover

Lean 7,738 808 Updated Apr 5, 2026

Cross-platform lib for process and system monitoring in Python

Python 11,130 1,469 Updated Apr 5, 2026

Production-grade client-side tracing, profiling, and analysis for complex software systems.

C++ 5,737 731 Updated Apr 5, 2026

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean 854 112 Updated Apr 4, 2026

The Python programming language

Python 72,155 34,362 Updated Apr 4, 2026

Toolbox for molecular animations in Blender, powered by Geometry Nodes.

Python 1,234 119 Updated Apr 4, 2026

Your favorite Terminal Coding Agent, now in Rust & a Breakdown of the Claude Code leak & discoveries

Rust 8,078 7,512 Updated Apr 4, 2026

Telegram Bot API for NodeJS

JavaScript 9,124 1,651 Updated Apr 4, 2026

Windows Subsystem for Linux

C++ 31,683 1,669 Updated Apr 4, 2026

A modern alternative to ls

Rust 21,018 422 Updated Apr 4, 2026

Official mirror of Blender

C++ 17,982 2,851 Updated Apr 4, 2026

A comprehensive (SI) units package for LaTeX

TeX 397 27 Updated Apr 4, 2026

Network Analysis in Python

Python 16,777 3,498 Updated Apr 4, 2026

match command-line arguments to their help text

Python 14,003 837 Updated Apr 4, 2026
Next