Ilya Nikitin's starred repositories

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

pytudes

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

Language:Jupyter NotebookLicense:MITStargazers:22547Issues:771Issues:36

gleam

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

Language:RustLicense:Apache-2.0Stargazers:16813Issues:89Issues:1774

pykan

Kolmogorov Arnold Networks

Language:Jupyter NotebookLicense:MITStargazers:13921Issues:108Issues:301

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6919Issues:358Issues:511

altair

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

Language:TypeScriptLicense:MITStargazers:5069Issues:41Issues:1112

livebook

Automate code & data workflows with interactive Elixir notebooks

Language:ElixirLicense:Apache-2.0Stargazers:4677Issues:74Issues:833

Machine-Learning-Interviews

This repo is meant to serve as a guide for Machine Learning/AI technical interviews.

Language:Jupyter NotebookLicense:MITStargazers:4015Issues:73Issues:4

erg

A statically typed language compatible with Python

Language:RustLicense:Apache-2.0Stargazers:2625Issues:17Issues:226

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptLicense:MITStargazers:2383Issues:26Issues:214

HypeScript

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

Language:TypeScriptLicense:MITStargazers:1910Issues:8Issues:3

awesome-kan

A comprehensive collection of KAN(Kolmogorov-Arnold Network)-related resources, including libraries, projects, tutorials, papers, and more, for researchers and developers in the Kolmogorov-Arnold Network field.

virgil

A fast and lightweight native programming language

pano-scrobbler

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

Language:KotlinLicense:GPL-3.0Stargazers:1006Issues:20Issues:391

mlton

The MLton repository

Language:Standard MLLicense:NOASSERTIONStargazers:932Issues:50Issues:174

inko

A language for building concurrent software with confidence

Language:RustLicense:MPL-2.0Stargazers:832Issues:14Issues:683

kaitai_struct_formats

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

Language:Kaitai StructStargazers:696Issues:38Issues:232

typical

Data interchange with algebraic data types.

Language:RustLicense:NOASSERTIONStargazers:560Issues:8Issues:5

OrdinaryDiffEq.jl

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:JuliaLicense:NOASSERTIONStargazers:523Issues:20Issues:795

plotoptix

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

Language:PythonLicense:NOASSERTIONStargazers:493Issues:11Issues:49

practical-fm

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

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:HTMLLicense:CC-BY-SA-4.0Stargazers:373Issues:35Issues:169

ChebyKAN

Kolmogorov-Arnold Networks (KAN) using Chebyshev polynomials instead of B-splines.

Language:Jupyter NotebookStargazers:316Issues:8Issues:8

concatenation_benchmarks-rs

📈 benchmarking different ways to concatenate strings in rust

mathemagic

Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry

finch

The Finch programming language

Language:C++License:NOASSERTIONStargazers:235Issues:12Issues:1

aperiodic-monotile

Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats

Language:JavaScriptLicense:CC0-1.0Stargazers:199Issues:8Issues:6

antimirov

algebraic manipulation of regular expressions

grothendieck-cern

Alexander Grothendieck's 1972 talk at CERN, on scientific research

License:CC0-1.0Stargazers:34Issues:0Issues:0