derivation

Scala library for boilerplate-free, type-safe data transformations

A blazingly fast tool to diff Nix related things

A Nushell environment for Nix

Symbolic Algebraic Library written entirely in C#

A suite of language tools

A micro-library to derive a typeclass for Scala 3 Union types.

Configured derivation library for scala 3

🔐 A high-performance E2EE library for .NET with Signal Protocol support. Features X3DH, Double Ratchet, Sender Keys, AES-GCM, RSA, ECDH, ECDSA, and secure key management. Supports .NET 6-10, .NET Standard 2.0/2.1, and .NET Framework 4.8+.

Simplified ed25519 BIP32 derivations

Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.

🐧 Logic Penguin 🐧 aims to be a flexible, extensible, open source, and self-hostable framework for online exercises for introductory logic problems, and interfaces with LMS systems.

Easy, fast, transparent generic derivation of typeclass instances in Scala

Physics Derivation Graph: mathematical connections among equations

Drivation with Racket for Programming Language Design Course

Julia interface to the Giac computer algebra system

to play with mathematical formulas at haxe-runtime

c++20 compile time math(derivation/integration) library

java numerical library for Matrix, Integrals (numerical integration), derivatives (numerical differentiation), equations, ODE, polynomials, etc