Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by bhgomes
A curated list of projects in awesome lists by bhgomes .
https://github.com/bhgomes/lean-riemann-hypothesis
Riemann Hypothesis in Lean
lean lean-theorem-prover mathlib riemann-hypothesis
Last synced: 09 Aug 2024
https://github.com/bhgomes/abstractwallets.jl
Abstractions for Digital Wallets in Julia
abstract abstract-data-structures abstract-data-types abstraction abstraction-layer cryptocurrency currency deterministic-wallets digital-asset-management digital-assets digital-currency digital-wallet digital-wallets finance julia julia-language portfolio portfolio-management wallet wallets
Last synced: 30 Sep 2024
https://github.com/bhgomes/subtypes.jl
Custom Subtyping in Julia
custom-types julia julia-language subtype subtypes typing
Last synced: 30 Sep 2024
https://github.com/bhgomes/unitfulcurrency.jl
Currencies as Units!
crypto-currencies cryptocurrencies cryptocurrency currencies currency currency-conversion currency-converter currency-exchange currency-exchange-rates currency-pair custom-currencies fiat-currencies julia julia-language unitful units
Last synced: 30 Sep 2024
https://github.com/bhgomes/abstractrationals.jl
Abstractions for Rational Numbers
abstract-data-types abstraction julia julia-language julia-package ratio rational rational-numbers ratios
Last synced: 29 Sep 2024