unbalancedparentheses / learn_economicsLinks
Economics études: books, papers and courses
☆24Updated 3 years ago
Alternatives and similar repositories for learn_economics
Users that are interested in learn_economics are comparing it to the libraries listed below
Sorting:
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.☆39Updated 7 years ago
- Juypter notebooks playground to explore and analyse economy and finance ideas☆97Updated 2 years ago
- TectonicDB client library for Elixir to read/write L2 order book data☆15Updated 2 years ago
- Threshold Logical Clocks and Que Sera Consensus☆28Updated 2 years ago
- Small exercises to get you used to reading and writing Erlang code☆186Updated last year
- Elixir implementation of modified Merkle Patricia tree (trie)☆25Updated 6 years ago
- I like to learn new things☆10Updated 3 years ago
- Finite Fields and Curves in Lean☆14Updated 2 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 9 years ago
- Exthereum, The Elixir Ethereum Client☆22Updated 7 years ago
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Updated 16 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 5 years ago
- Astarte platform core Elixir modules☆18Updated last week
- An EVM block ingestion toolkit for Elixir☆29Updated 2 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last month
- A curated list of awesome quantum computing resources. Inspired by the various awesome-* projects☆11Updated 8 years ago
- Sign-In with Ethereum Implementation for Elixir☆14Updated last year
- Erlang implementation of HoneyBadgerBFT☆69Updated 2 years ago
- Arithmetic circuits for zero knowledge proof systems☆83Updated last year
- ☆10Updated 8 years ago
- search erlang & efene code by structure by providing expressions with "holes"☆15Updated 4 years ago
- An implementation of AO: the A(ctor) O(riented) supercomputer for the permaweb.☆28Updated 4 months ago
- Threshold encryption☆12Updated 4 years ago
- A networking layer of DC/OS☆47Updated 4 years ago
- very important emojis☆14Updated 3 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆78Updated 5 months ago
- OrderBook implementation in rust☆27Updated 5 years ago
- A platform for the testing and optimisation of trading algorithms.☆24Updated 6 years ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Updated 2 months ago
- Forge Elixir SDK☆20Updated 5 years ago