π fpga-accelerated high-freq trading modules
β32Jan 17, 2026Updated 4 months ago
Alternatives and similar repositories for punt-engine
Users that are interested in punt-engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Avellaneda and Stoikov's High-Frequency Trading Model in a Limit Order Book Contextβ24Feb 20, 2025Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdfβ15Mar 27, 2025Updated last year
- β12May 14, 2023Updated 3 years ago
- Place for editing the data backing ashtadhyayi.comβ12Jun 4, 2026Updated last week
- Using reinforcement learning to make markets in the high frequency trading setting.β29May 30, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Automatically generate a GraphQL API for any SQLite databaseβ27Jun 4, 2026Updated last week
- β15Dec 20, 2021Updated 4 years ago
- Ragged writings on all thingsβ15Jan 24, 2022Updated 4 years ago
- β16Mar 14, 2024Updated 2 years ago
- Make/Encode some basic logic puzzlesβ18Jul 10, 2024Updated last year
- β13Jun 1, 2026Updated last week
- β16Jun 20, 2022Updated 3 years ago
- πΎ An incomplete v8 bytecode interpreter / virtual machine for a subset of instructionsβ22Jan 30, 2026Updated 4 months ago
- Nanolat Database supporting 1M transactions per second.β23Apr 26, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- sockets for Lean 4β23Jul 10, 2025Updated 11 months ago
- Annotated corpus of Arabic tweets which mention a violence act.β10Jun 6, 2018Updated 8 years ago
- Code that drives the public web-based tools for the Media Cloud Online News Archive and Directory.β12Updated this week
- Roboadvisors claim they are democratizing the access to advanced advisory services of wealth management. Well, we think that if it is notβ¦β11Jun 10, 2021Updated 5 years ago
- β32Jun 3, 2026Updated last week
- A WebAssembly implementation in Lean4β44Dec 13, 2023Updated 2 years ago
- quickly way to use Android permissions by @romellfudiβ17Aug 5, 2025Updated 10 months ago
- A follower to litableβ15Jul 22, 2016Updated 9 years ago
- β16Oct 28, 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.
- Decentralized Token eXchange (DTX) is platform for p2p token trading on Ethereumβ15Jun 12, 2016Updated 10 years ago
- Migrated to: https://codeberg.org/openculinary/knowledge-graphβ11Aug 21, 2025Updated 9 months ago
- Lean 4 port of Megaparsecβ36Jan 11, 2024Updated 2 years ago
- Binance, OKXοΌSOL ζΉι转账θζ¬β11May 18, 2024Updated 2 years ago
- SOAP is a free, online tool aimed at enabling civil society organisations and activist groups to build security policies that work for thβ¦β16Mar 23, 2024Updated 2 years ago
- β14Apr 17, 2022Updated 4 years ago
- Sparkline weather forecasts in Emacsβ26Apr 15, 2026Updated last month
- Type Checking in Lean 4β38Mar 22, 2026Updated 2 months ago
- Commonly useful extensions for the MMark markdown processorβ12Apr 20, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Visualization of Haskell data structuresβ16Feb 13, 2024Updated 2 years ago
- Script and metasploit module for CVE-2018-15982β11Aug 12, 2020Updated 5 years ago
- Frontend for the Viabtc Exchange Serverβ11Jun 22, 2022Updated 3 years ago
- HFST spell checker library and command line toolβ15Feb 20, 2024Updated 2 years ago
- A puzzle game with a cat in lead role (Haskell)β57Nov 23, 2024Updated last year
- β11Sep 9, 2021Updated 4 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"β39May 26, 2026Updated 2 weeks ago