tylonn

tylonn's Stars

• ossu/math

  🧮 Path to a free self-taught education in Mathematics!

  4.8k483

• astral-sh/uv

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

  Language:Rust34.6k938

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k143

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.4k168

• tancik/fourier-feature-networks

  Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains

  Language:Jupyter Notebook1.3k135

• MaxRobinsonTheGreat/mandelbrotnn

  Torturing neural networks by forcing them to learn the Mandelbrot set.

  Language:Python13238

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python28.8k2k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python73.6k6.4k

• tusharsadhwani/yen

  The last Python environment manager you'll ever need.

  Language:Python21610

• pola-rs/polars

  Dataframes powered by a multithreaded, vectorized query engine, written in Rust

  Language:Rust31.2k2k

• google/Xee

  An Xarray extension for Google Earth Engine

  Language:Python26129

• dry-python/returns

  Make your functions return something meaningful, typed, and safe!

  Language:Python3.7k121

• danielSanchezQ/rusty_results

  Rust-inspired Option and Result types. Pattern matching ready!

  Language:Python233

• rustedpy/result

  NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

  Language:Python1.6k79

• gleam-lang/gleam

  ⭐️ A friendly language for building type-safe, scalable systems!

  Language:Rust18.5k780

• actix/actix

  Actor framework for Rust.

  Language:Rust8.7k657

• iced-rs/iced

  A cross-platform GUI library for Rust, inspired by Elm

  Language:Rust25.3k1.2k

• LukeMathWalker/pavex

  An easy-to-use Rust framework for building robust and performant APIs

  Language:Rust1.8k62

• brazil-data-cube/compendium-harmonization

  This is the official Research Compendium (RC) documentation, with all the materials (Codes, data, and computing environments) needed for the reproduction, replication, and evaluation of the results presented in the paper: A reproducible and replicable approach for harmonizing Landsat-8 and Sentinel-2 images

  Language:Python81

• tylermorganwall/rayrender

  A pathtracer for R. Build and render complex scenes and 3D data visualizations directly from R

  Language:C++62543

• tylermorganwall/rayshader

  R Package for 2D and 3D mapping and data visualization

  Language:R2.1k214

• aripiprazole/bupropion

  ❤️ | Fancy diagnostics for Miette

  Language:Rust14

• zkat/miette

  Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

  Language:Rust2.1k121

• rusterlium/rustler

  Safe Rust bridge for creating Erlang NIF functions

  Language:Rust4.4k227

• OpenInterpreter/open-interpreter

  A natural language interface for computers

  Language:Python57.7k5k

• dtolnay/anyhow

  Flexible concrete Error type built on std::error::Error

  Language:Rust5.6k148

• Xudong-Huang/may

  rust stackful coroutine library

  Language:Rust2k84

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k441

• ptarroso/MapAnim

  A script to animate raster maps

  Language:Python8610

• GitiHubi/deepPaper

  The Financial Audit Data Analytics Paper Collection is an academic paper collection that encompasses data analytics, machine learning, and deep learning papers that produce experimental results related to the audit of financial accounting data.

  5812