F1uctus

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.

gleam

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

pykan

Kolmogorov Arnold Networks

ChezScheme

Chez Scheme

altair

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

livebook

Automate code & data workflows with interactive Elixir notebooks

Machine-Learning-Interviews

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

erg

A statically typed language compatible with Python

quiver

A modern commutative diagram editor for the web.

HypeScript

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

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

mlton

The MLton repository

inko

A language for building concurrent software with confidence

kaitai_struct_formats

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

typical

Data interchange with algebraic data types.

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)

plotoptix

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

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.

ChebyKAN

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

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

aperiodic-monotile

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

antimirov

algebraic manipulation of regular expressions

poly

grothendieck-cern

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