I like to learn new things
☆11Feb 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for learning_systems_and_security
Users that are interested in learning_systems_and_security are comparing it to the libraries listed below
Sorting:
- ☆22May 18, 2022Updated 3 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- Coded Merkle Tree☆25Aug 6, 2019Updated 6 years ago
- Single owner authorization with zk-based two-factor-authorization.☆18Oct 6, 2022Updated 3 years ago
- ☆42Oct 26, 2024Updated last year
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆19Jun 5, 2025Updated 9 months ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated last month
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- CSV IO: Read and write delimited text files with support of decimal comma, Date/Time types, Complex and Rational numbers.☆12Feb 15, 2022Updated 4 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- Julia Channels with defined length: Buffered and threaded iterators for machine learning.☆13Dec 13, 2020Updated 5 years ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Disk based, buffered data structures for machine learning☆12Jan 4, 2021Updated 5 years ago
- A simple and efficient wrapper around the OpenAI API☆29Aug 5, 2024Updated last year
- Today I Learned And Practiced☆15Jun 20, 2017Updated 8 years ago
- A simple RISC-V runtime.☆33Sep 12, 2025Updated 6 months ago
- A naive bloom filter implementation in Cairo☆37May 28, 2022Updated 3 years ago
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- Docs for System Admins☆17Jul 12, 2024Updated last year
- Graph representations of text☆13Sep 20, 2023Updated 2 years ago
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Jan 5, 2024Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- Code-regrouping to reduce latency in Julia code compilation☆15Mar 11, 2022Updated 4 years ago
- Julia package for performing rigorous arithmetic of Imprecise Probabilities with fuzzy numbers☆14Apr 5, 2024Updated last year
- Ray tracing on the Ethereum Virtual Machine☆105Feb 14, 2018Updated 8 years ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Nov 20, 2022Updated 3 years ago
- An aggregator handles the allocation, matching, and settlement of payment intents for the Paycrest protocol☆18Mar 13, 2026Updated last week
- A toy L4 load balancer running on FPGA☆20Feb 28, 2022Updated 4 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- ☆16Mar 16, 2021Updated 5 years ago
- Erlang ⇔ QML bindings☆17Apr 9, 2014Updated 11 years ago
- ☆21Sep 27, 2023Updated 2 years ago
- Collection of layers that can perform arithmetic operations☆12Aug 17, 2021Updated 4 years ago
- Create searchable PDFs via optical character recognition☆16Jan 31, 2025Updated last year
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- You Need A Transaction Manager (for Ethereum)☆22Jan 24, 2023Updated 3 years ago
- A Julia Debugger that works with mixed compiled and interpretted mode for performance☆16Feb 8, 2020Updated 6 years ago
- core libs and utilities☆39Mar 13, 2026Updated last week