eokahya / claude-audits-quantum-gravity
Claude re-derived a published one-loop quantum gravity calculation step by step: 18 tasks, 183 pages of derivations, 38 reproducible checks. It found a sign error and a missing term; the physical conclusion survived.
circe / circe
Yet another JSON library for Scala
scalalandio / chimney
Scala library for boilerplate-free, type-safe data transformations
utdemir / nix-tree
Interactively browse dependency graphs of Nix derivations.
softwaremill / magnolia
Easy, fast, transparent generic derivation of typeclass instances
gvolpe / pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
typelevel / kittens
Automatic type class derivation for Cats
Tarsnap / scrypt
The scrypt key derivation function was originally developed for use in the Tarsnap online backup system and is designed to be far more secure against hardware brute-force attacks than alternative functions such as PBKDF2 or bcrypt.
JordyZomer / lemmalog
A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.
olafkfreund / nixarchy
Omarchy 4.x vendored for NixOS — the upstream tree packaged as a derivation, not reimplemented in Nix
ustayready / Thunderstorm
A collector and derivation engine. It maps your environment, evaluates effective permissions and trust, and writes a complete attack graph as a single .rage.ndjson file. The input to everything else.
RomanZhukov9 / Crypto-Recovery-Tool
Python-based cryptocurrency wallet forensics suite supporting 40+ wallet types on Windows, Linux, and macOS. Features encrypted vault analysis, wallet detection, seed recovery, multi-chain address derivation, threaded processing, and TXT/CSV/JSON export. Designed for security research, compliance, incident response, and blockchain investigations.
MyZahradamiyas1816 / Seed-Generator
Professional BIP-39 Seed & HD Wallet Toolkit with 12–24 word mnemonics, checksum validation, BIP-44/49/84 derivation, and multi-chain support (BTC, ETH, SOL, LTC, DOGE, ADA, DOT, AVAX, ATOM, XRP, TRX). Features offline CSPRNG, PBKDF2-HMAC-SHA512, AES-256-GCM encryption, wallet recovery, CSV/JSON export, and custom derivation paths.
hamza01055 / ml-from-scratch
Machine learning from scratch with Python and NumPy. Explore 12 chapters covering regression, neural networks, trees, clustering, SVMs, and autodiff with mathematical derivations, interactive notebooks, gradient verification, and 59 automated tests. No scikit-learn or PyTorch.
yurne91 / Godot-Secure-Build-Pipeline
Build a custom Godot 4.7.1 editor and matching export templates for either a C#/.NET or GDScript project using Godot Secure, AES-256 PCK encryption, encrypted PCK indexes, Advanced Key Derivation, and release hardening.
cachix / nix-derivation
Parses, validates, hashes, and serializes Nix derivations and constructs their store paths in pure Rust