F1uctus

Ilya Nikitin's starred repositories

scrcpy

Display and control your Android device

Language:CApache-2.0105378 1228 4533

rclone

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

Language:GoMIT44979 576 5354

pytudes

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Language:Jupyter NotebookMIT22516 773 36

gleam

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

Language:RustApache-2.016474 87 1749

pykan

Kolmogorov Arnold Networks

Language:Jupyter NotebookMIT13637 115 237

ChezScheme

Chez Scheme

Language:SchemeApache-2.06892 358 509

altair

✨⚡️ A beautiful feature-rich GraphQL Client for all platforms.

Language:TypeScriptMIT5057 41 1107

livebook

Automate code & data workflows with interactive Elixir notebooks

Language:ElixirApache-2.04624 73 827

erg

A statically typed language compatible with Python

Language:RustApache-2.02615 17 225

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptMIT2374 24 211

HypeScript

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

Language:TypeScriptMIT1910 8 3

virgil

A fast and lightweight native programming language

Language:Shell1127 20 85

pano-scrobbler

Scrobbles to last.fm, ListenBrainz, libre.fm, GNU FM, Maloja, Pleroma or to a file, on Android

Language:KotlinGPL-3.0984 20 386

mlton

The MLton repository

Language:Standard MLNOASSERTION930 50 173

inko

A language for building concurrent software with confidence

Language:RustMPL-2.0813 12 681

kaitai_struct_formats

Kaitai Struct: library of binary file formats (.ksy)

Language:Kaitai Struct695 38 233

Gridap.jl

Grid-based approximation of partial differential equations in Julia

Language:JuliaMIT659 21 393

typical

Data interchange with algebraic data types.

Language:RustNOASSERTION559 8 5

High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learning (SciML)

Language:JuliaNOASSERTION521 19 791

plotoptix

Data visualisation and ray tracing in Python based on OptiX 7.7 framework.

Language:PythonNOASSERTION486 11 49

practical-fm

A gently curated list of companies using verification formal methods in industry

473 55 9

SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Language:HTMLCC-BY-SA-4.0370 35 169