Highlights
- Pro
Stars
Intensive Julia workshop that takes you from zero to hero
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization
Fully local web research and report writing assistant
Template for blueprint-driven formalization projects in Lean.
Export html from single files, canvas pages, or whole vaults. Direct access to the exported HTML files allows you to publish your digital garden anywhere. Focuses on flexibility, features, and styl…
An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
A toolkit for developing and comparing reinforcement learning algorithms.
All of source code of version 10 or later of Floorp Browser, the most Advanced and Fastest Firefox derivative 🦊
Preview markdown inline and extend the capabilities through VS Code extensions.
Simple Implementation of Dynamic Program Producing Optimized Basic Schedules
A project to map out the relations between different equational theories of Magmas.
A powerful, lightweight theme for Hugo built with Tailwind CSS.
Rust for native business logic, Flutter for flexible and beautiful GUI
Gemini is a modern LaTex beamerposter theme 🖼
Minimalist LaTeX template for academic presentations
Numerical Tours of Signal Processing