Lean 4 programming language and theorem prover
UNIX-like reverse engineering framework and command-line toolset
Patching, replacing and decorating .NET and Mono methods
Fast and simple fluid simulator in Julia
One Time Password Authentication package, compatible with Google Auth
Easily optimize images using PHP
Modern applications with built-in automation
Collection of Svelte components, actions, stores, and utilities
A Python library for learning and evaluating knowledge graph embedding
Linux port of FAR v2
A comprehensive, efficient, and reusable util function library of Go
Receive webhooks in Laravel apps
Powerful data objects for Laravel
An opinionated package to create slugs for Eloquent models
Clifford circuits, graph states, and other quantum Stabilizer tools
Find all roots of a function in a guaranteed way with Julia
Computer vision models for Flux
Julia software for fast, friendly, flexible fluid dynamics on CPUs
Testcontainers for Go is a Golang library that provides a friendly API
Developer environments you can take with you
Make your Laravel app comply with the crazy EU cookie law
CUDA programming in Julia
A little like that j-thing, only in Go
Html menu generator