Projects in Awesome Lists tagged with derivation
A curated list of projects in awesome lists tagged with derivation .
https://github.com/scalalandio/chimney
Scala library for boilerplate-free, type-safe data transformations
auto-mapping automatic-conversion boilerplate conversion data-rewriting derivation generic-programming jvm macros metaprogramming scala scala-library scala-native scala3 scalajs transformation type-mapping
Last synced: 14 May 2025
https://github.com/manic-systems/dix
A blazingly fast tool to diff Nix related things
Last synced: 30 Jun 2026
https://github.com/julienrf/play-json-derived-codecs
derivation json play-framework
Last synced: 06 Oct 2025
https://github.com/evolution-gaming/derivation
Configured derivation library for scala 3
derivation scala scala3 typeclasses
Last synced: 22 Jun 2025
https://github.com/japgolly/microlibs-scala
derivation derive fp functional-programming macros recursion scala scalajs scalaz utilities
Last synced: 09 May 2025
https://github.com/neandertech/smithy4s-deriving
Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.
derivation scala scala3 smithy smithy4s
Last synced: 02 Mar 2026
https://github.com/jpopesculian/ed25519-dalek-bip32
Simplified ed25519 BIP32 derivations
bip32 bitcoin cryptography derivation ed25519 ed25519-dalek trezor
Last synced: 06 Apr 2026
https://github.com/propensive/wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
coproduct-types derivation generic-derivation product-types scala sum-types typeclass-derivation typeclass-instances typeclasses
Last synced: 17 Mar 2025
https://github.com/allofphysicsgraph/proofofconcept
Physics Derivation Graph: mathematical connections among equations
derivation graph graphviz html inference-rules latex physics physics-derivation-graph python
Last synced: 27 Feb 2026
https://github.com/chakravala/leibniz.jl
Tensor algebra utility library
calculus derivation laplacian math tensor-algebra
Last synced: 16 Mar 2026
https://github.com/chakravala/Leibniz.jl
Tensor algebra utility library
calculus derivation laplacian math tensor-algebra
Last synced: 04 May 2025
https://github.com/sgssgene/d_rive
c++20 compile time math(derivation/integration) library
compile-time cpp cpp-library cpp20 derivation forthebadge header-only integration math
Last synced: 02 Aug 2025
https://github.com/asadiahmad/derivation-calculator
Drivation with Racket for Programming Language Design Course
calculator derivation derivation-algorithm racket
Last synced: 31 Jul 2025
https://github.com/s-celles/giac.jl
Julia interface to the Giac computer algebra system
ai-generated-code computer-algebra-system derivation education equation-solving exact-computation factorization giac grobner-bases integration julia julialang limits mathematical-software numerical-analysis open-source polynomial-arithmetic scientific-computing simplification symbolic-mathematics
Last synced: 02 May 2026
https://github.com/frabjous/logicpenguin
🐧 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.
canvas derivation education exercises logic lti moode philosophy-course proofchecker
Last synced: 01 May 2025
https://github.com/symbol/symbol-hd-wallets
Hierarchical-deterministic wallets library for Symbol
catapult derivation ed25519 hd-wallet javascript nem symbol typescript
Last synced: 30 Jul 2025
https://github.com/btobab/Machine-Learning-notes
A series of the ML formula derivation notes
ai derivation formula machine-learning notes python3 tex
Last synced: 11 Mar 2025
https://github.com/lukeg101/mscprojectpublic
Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.
algebraic-effects calculating-compilers compilers derivation haskell type-system
Last synced: 08 May 2025
https://github.com/sake92/tupson
Stupid simple Scala 3 library for writing and reading JSON
derivation hocon json json-data json-parser scala serialization typeclass typesafe-config
Last synced: 15 Apr 2025
https://github.com/arainko/bencode
Typesafe and semi-automatically derived bencode encoders/decoders
bencode derivation scala typeclass
Last synced: 12 Jan 2026
https://github.com/fabiospampinato/crypto-pbkdf2-hmac
Isomorphic wrapper for the PBKDF2-HMAC key derivation function.
crypto derivation isomorphic key pbkdf2 pbkdf2-hmac
Last synced: 27 Jul 2025
https://github.com/liying2008/pojo-derivation
Combine multiple POJOs to generate a new POJO.
annotation-processor annotations apt derivation java-library kapt kotlin library pojo pojo-derivation pojos
Last synced: 21 Mar 2025
https://github.com/rekalogika/file-derivation
[READ-ONLY] Provides an abstract class to streamline the creation of filters using the file derivation feature of the rekalogika/file framework.
derivation file filter filtering php symfony
Last synced: 06 Mar 2026
https://github.com/dcousens/habanero
An attempt-limiting, remote pepper provisioning protocol with a bundled Javascript implementation.
crypto cryptograph derivation hmac javascript kdf key node pepper salt
Last synced: 17 May 2026
https://github.com/allofphysicsgraph/allofphysics.com
Flask, Neo4j, Gunicorn, Docker software for
derivation graph mathematics physics
Last synced: 03 Mar 2025
https://github.com/gvolpe/mtl-generic-reader
Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.
cats cats-effect derivation io-monad kleisli mtl reader reader-monad zio
Last synced: 02 Nov 2025
https://github.com/artemissoftware/meetings
Console project to explore kotlin
abstraction companion-object data-class derivation generic-repository interface
Last synced: 11 Jul 2026
https://github.com/stevenbtw/deriva
Deriva is a research project aimed at enabling digital architects by automating the derivation of architecture models. Deriva uses a combination of knowledge graphs, heuristics and LLM's.
archimate archimate-models architecture ast cli deriva derivation enterprise-architecture graph-algorigthms graph-algorithms heuristics knowledge-graph llm marimo neo4j ocel2 pydantic python
Last synced: 01 Mar 2026
