I like to learn new things
☆12Feb 28, 2026Updated 4 months 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22May 18, 2022Updated 4 years ago
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆11Nov 21, 2024Updated last year
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Verified Optimizing Compiler for Cryptographic Primitives☆39Jun 9, 2026Updated last month
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆18Apr 24, 2026Updated 2 months ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 4 years ago
- ☆43Oct 26, 2024Updated last year
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated 5 months ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 4 years ago
- Graph representations of text☆13Sep 20, 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- Today I Learned And Practiced☆16Jun 20, 2017Updated 9 years ago
- Julia Channels with defined length: Buffered and threaded iterators for machine learning.☆12Dec 13, 2020Updated 5 years ago
- A simple and efficient wrapper around the OpenAI API☆29Aug 5, 2024Updated last year
- Disk based, buffered data structures for machine learning☆12Jan 4, 2021Updated 5 years ago
- A naive bloom filter implementation in Cairo☆37May 28, 2022Updated 4 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
- Huff development plugin for Vim☆25Dec 31, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Docs for System Admins☆17Jul 12, 2024Updated 2 years ago
- A toy L4 load balancer running on FPGA☆20Feb 28, 2022Updated 4 years ago
- Ray tracing on the Ethereum Virtual Machine☆106Feb 14, 2018Updated 8 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 3 years ago
- ☆16Mar 16, 2021Updated 5 years ago
- Code-regrouping to reduce latency in Julia code compilation☆16Jun 25, 2026Updated 3 weeks ago
- Julia package for performing rigorous arithmetic of Imprecise Probabilities with fuzzy numbers☆14Apr 5, 2024Updated 2 years ago
- ☆21Sep 27, 2023Updated 2 years ago
- Erlang ⇔ QML bindings☆17Apr 9, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- You Need A Transaction Manager (for Ethereum)☆22Jan 24, 2023Updated 3 years ago
- A comprehensive demonstration of Agentic DevOps using DSPy and Model Context Protocol (MCP)☆16May 31, 2025Updated last year
- Lightweight Ethereum client☆22Mar 20, 2026Updated 4 months ago
- Macros + Primitives for PADE format☆30Jul 26, 2025Updated 11 months ago
- Collection of layers that can perform arithmetic operations☆12Aug 17, 2021Updated 4 years ago
- ☆15Jul 8, 2021Updated 5 years ago
- Create searchable PDFs via optical character recognition☆16Jan 31, 2025Updated last year