iRevive/union-derivation

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

Language: Scala - Size: 158 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 35 - Forks: 1

chakravala/Leibniz.jl

Tensor algebra utility library

Language: Julia - Size: 63.5 KB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 19 - Forks: 5

scalalandio/chimney

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

Language: Scala - Size: 13 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1,231 - Forks: 110

faukah/dix

Diff Nix

Language: Rust - Size: 726 KB - Last synced at: 9 days ago - Pushed at: 15 days ago - Stars: 139 - Forks: 2

AzizAlqasem/FormulaLab

FormulaLab derive, search, and manage, formulas in a database

Language: Python - Size: 621 KB - Last synced at: 16 days ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 1

propensive/wisteria

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

Language: Scala - Size: 2.82 MB - Last synced at: 8 days ago - Pushed at: 7 months ago - Stars: 21 - Forks: 3

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.

Language: JavaScript - Size: 8.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 11 - Forks: 1

ibluesun/SymbolicAlgebra

Symbolic Algebraic Library written entirely in C#

Language: C# - Size: 606 KB - Last synced at: 13 days ago - Pushed at: about 1 year ago - Stars: 105 - Forks: 46

AsadiAhmad/Derivation-Calculator

Drivation with Racket for Programming Language Design Course

Language: Racket - Size: 166 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 19 - Forks: 0

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.

Language: PHP - Size: 26.4 KB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

nimiq/php-xpub

A simple class to derive BTC and ETH extended public keys and addresses without GMP.

Language: PHP - Size: 29.3 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 5

DeterminateSystems/nuenv 📦

A Nushell environment for Nix

Language: Nix - Size: 193 KB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 221 - Forks: 20

julienrf/play-json-derived-codecs

Language: Scala - Size: 132 KB - Last synced at: about 11 hours ago - Pushed at: over 1 year ago - Stars: 192 - Forks: 36

symbol/symbol-hd-wallets

Hierarchical-deterministic wallets library for Symbol

Language: TypeScript - Size: 1.14 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 18

Susurrus-LLC/langua

A suite of language tools

Language: JavaScript - Size: 21.6 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 46 - Forks: 4

NotLudovico/ruut_functions

A crate to allow for function manipulation, comprehensive of basic expression simplification, derivation and numerical integration

Language: Rust - Size: 179 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

iroumec/Zylva

An enhanced entity-relationship (EER) model diagram application built completely in Java.

Language: Java - Size: 18.8 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

evolution-gaming/derivation

Configured derivation library for scala 3

Language: Scala - Size: 163 KB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 35 - Forks: 6

allofphysicsgraph/allofphysics.com

Flask, Neo4j, Gunicorn, Docker software for

Language: HTML - Size: 11 MB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1

Prabhu-369/Quadcopter_6DOF_Matlab_files

Derivation of quadcopter nonlinear 6 degree of freedom equations is provided in this section

Language: MATLAB - Size: 489 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 12 - Forks: 3

fabiospampinato/crypto-pbkdf2-hmac

Isomorphic wrapper for the PBKDF2-HMAC key derivation function.

Language: JavaScript - Size: 16.6 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

neandertech/smithy4s-deriving

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

Language: Scala - Size: 107 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 25 - Forks: 2

sake92/tupson

Stupid simple Scala 3 library for writing and reading JSON

Language: Scala - Size: 184 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 8 - Forks: 0

zvanjak/MML

MML - Minimal Math Library

Language: C++ - Size: 7.89 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 4 - Forks: 0

FindETH/wallets 📦

Library used by FindETH for wallets and derivation

Language: TypeScript - Size: 2.52 MB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 2

FindETH/hdnode 📦

Small HD wallet key derivation library

Language: TypeScript - Size: 1.4 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

jpopesculian/ed25519-dalek-bip32

Simplified ed25519 BIP32 derivations

Language: Rust - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 24 - Forks: 17

Berishten/Redes-neuronales

Repositorio dedicado a registrar mis avances en inteligencia artificial

Language: Jupyter Notebook - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

theMHD-120/Numerical-Computing-Fomulas

Implementation of several numerical computing methods with Python /// by theMHD.

Language: Python - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

just-do-halee/ed25519-dalek-xkeypair

BIP32 implementation for ed25519-dalek key pairs.

Language: Rust - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

allofphysicsgraph/proofofconcept

Physics Derivation Graph: mathematical connections among equations

Language: Python - Size: 111 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 20 - Forks: 6

diegargon/SimpleDerivador

Derivador excedentes solares

Language: C++ - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ceca69ec/derivation32

Implementation of bip-0032 in rust for use on command line interface

Language: Rust - Size: 55.7 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

jameslahm/computational-graph

A simple & scalable neural network framework

Language: C++ - Size: 1.39 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

dimglyn/adaboost

Adaboost implementation for my artificial intelligence class

Language: Java - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

DohaoSTR/approximation-calculator

Includes operations with matrix and methods of point/continuous approximation derivation, integration

Language: C# - Size: 54.7 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

SGSSGene/d_rive

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

Language: C++ - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 2

daedalus/python-bitcoin_r Fork of fudong1127/python-bitcoin

Python Bitcoin library

Language: Python - Size: 157 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 2

maitag/formula

to play with mathematical formulas at haxe-runtime

Language: Haxe - Size: 239 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 18 - Forks: 2

BitCraftIO/Hail

Multicoin cryptocurrency wallet

Language: JavaScript - Size: 26.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 5

barrystyle/hdderive

simple bip32/bip39 hdaddress derivation

Language: C++ - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

dcousens/habanero

An attempt-limiting, remote pepper provisioning protocol with a bundled Javascript implementation.

Language: JavaScript - Size: 41 KB - Last synced at: 29 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

mbilski/siren-scala-shapeless

Automatic siren encoder and decoder derivation with shapeless

Language: Scala - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0

japgolly/microlibs-scala

Language: Scala - Size: 716 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 4

Tammo0987/automapper

Generate mappings between algebraic data types.

Language: Scala - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

CIRCSE/WFL

Word Formation Latin (WFL).

Size: 16.4 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

arainko/bencode

Typesafe and semi-automatically derived bencode encoders/decoders

Language: Scala - Size: 345 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

floft/PIDinStateSpace

Rewriting a PID controller in state space form

Language: TeX - Size: 497 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 5 - Forks: 3

liying2008/pojo-derivation

Combine multiple POJOs to generate a new POJO.

Language: Kotlin - Size: 338 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

paradox7183/mathpy

Mathpy is a script in python that calculates the first, second and third derivate of a function, either calculates the integral of a function

Language: Python - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

sbesada/java.math.numerical.library

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

Language: Java - Size: 93.8 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 12 - Forks: 2

vlmiroshnikov/aero3

The simple scala 3 aerospike client

Language: Scala - Size: 62.5 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

btobab/Machine-Learning-notes

A series of the ML formula derivation notes

Language: TeX - Size: 19.3 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 1

Seb-sti1/SI-Helper

A symbolic computation program

Language: Java - Size: 374 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

neural-tangjie/ML-Pumpkin_book Fork of NemoHoHaloAi/pumpkin-book

This repository is the derivation and analysis of the formula of Machine Learning (Watermelon Book). Online reading address：https://datawhalechina.github.io/pumpkin-book

Size: 1.46 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

mauricioprb/derivarPolinomio

📈 Projeto realizado na disciplina de Cálculo Diferencial e Integral com o objetivo de derivar equações polinomiais.

Language: C++ - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

FXHibon/scala-play-json-derived

Language: Scala - Size: 43.9 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

kaashmonee/double-pendulum

It is a surprisingly succeeded attempt at simulating a double pendulum.

Language: HTML - Size: 19.5 KB - Last synced at: 5 days ago - Pushed at: about 9 years ago - Stars: 3 - Forks: 0

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.

Language: Haskell - Size: 167 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 0

slowwavesleep/NeuralMorphemeSegmenter

Implementation of various neural network architectures for the purpose of morpheme segmentation

Language: Jupyter Notebook - Size: 72.8 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vyscnktn/Sayisal-Fizik

Python ile Hesaplamalı Fizik Uygulamaları

Language: Jupyter Notebook - Size: 883 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

cghv94/matematicas-con-R

Tutoriales de matemáticas con R

Language: R - Size: 79.1 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 2

tdaneyko/colexification

A command-line program to extract derivational morphology from raw lexical data and use these patterns to cluster related word forms.

Language: Java - Size: 519 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

arshbot/Hail Fork of BitCraftIO/Hail

Multicoin cryptocurrency wallet

Language: JavaScript - Size: 26.6 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 2

ArtemisSoftware/Meetings

Console project to explore kotlin

Language: Kotlin - Size: 383 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

gvolpe/mtl-generic-reader

Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.

Language: Scala - Size: 31.3 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

abmohajeri/Symbolic-Derivation

This program demonstrates symbolic derivation from variety of mathematical functions.

Language: C++ - Size: 730 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 0

savadmv/WordCheckNew

Language: Java - Size: 134 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

meiqua/cs231n

Language: Jupyter Notebook - Size: 9.85 MB - Last synced at: 5 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0