我的书库 : Computer Science | Machine Learning | Math | Systematic Trading | Economics | and more. Format: pdf
☆27Aug 27, 2022Updated 3 years ago
Alternatives and similar repositories for pdfrepo
Users that are interested in pdfrepo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- A human sketch recognition algorithm based on Eitz et al., "How Do Humans Sketch Objects?"☆17May 4, 2013Updated 13 years ago
- Code for the ISCAS23 paper "The Hardware Impact of Quantization and Pruning for Weights in Spiking Neural Networks"☆11Apr 20, 2023Updated 3 years ago
- OKX Dex-Widget Configurator Sample☆14Jan 15, 2026Updated 6 months ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Dec 30, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- resources of quantitative trading☆405Jun 23, 2019Updated 7 years ago
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated last year
- ☆15Oct 6, 2022Updated 3 years ago
- ☆19Dec 22, 2023Updated 2 years ago
- DeepContact Software☆26Jun 16, 2018Updated 8 years ago
- 爬虫笔记☆16May 9, 2023Updated 3 years ago
- 🎉An ERC20 Crypto Lottery Game App Repo - Build your own lottery game that pays with your own custom ERC20 Token!☆14Apr 4, 2023Updated 3 years ago
- A dockerized Jupyter quant research environment.☆22Jun 14, 2024Updated 2 years ago
- 从零开始编写与大语言模型（LLM）有关的所有代码，用于学习☆16Jun 27, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository contains the Application Binary Interface (ABI) for the Four.meme launchpad smart contract deployed on Binance Smart Chai…☆27Oct 8, 2025Updated 10 months ago
- A three-layer LIF neuron SNN accelerator. The first layer is the input layer and has 784 neurons, that receive the encoded spikes. The se…☆17Sep 9, 2023Updated 2 years ago
- ☆22Dec 21, 2024Updated last year
- ☆33Jun 8, 2022Updated 4 years ago
- ☆32Jun 18, 2024Updated 2 years ago
- A web server written in Coq.☆89Jul 14, 2016Updated 10 years ago
- SPICE-like Circuit Simulator, for Transient Analysis, DC/AC Sweep and Operating Point Analysis☆28May 30, 2024Updated 2 years ago
- A RISC-V RV32I ISA Single Cycle CPU☆26May 22, 2025Updated last year
- CORDIC-SNN, followed with "Unsupervised learning of digital recognition using STDP" published in 2015, frontiers☆25Feb 9, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Source Code for 'Testing and Tuning Market Trading Systems' by Timothy Masters☆146Oct 16, 2018Updated 7 years ago
- A library for effects in Coq.☆65May 28, 2022Updated 4 years ago
- auto decrypt the request ciphertext and auto bypass the signature of the API. 针对数据包加密、签名保护的安全测试场景，借助burp插件自动解密数据包密文，自动绕过接口的签名保护，最后借助密文数据…☆56Mar 27, 2024Updated 2 years ago
- Collect important papers about snn☆32Jul 15, 2021Updated 5 years ago
- ai-town by gpt and phaser3☆42Jan 3, 2024Updated 2 years ago
- 可快速上手的 Yellowstone gRPC golang 教程☆49May 12, 2025Updated last year
- Binance, Bitget, Bybit, Coinex, Gate, Huobi (Htx), Kucoin, Mexc, Okx☆36Sep 20, 2025Updated 10 months ago
- tinyGPU: A Predicated-SIMD processor implementation in SystemVerilog☆68Jul 14, 2021Updated 5 years ago
- OpenCEX - backend.☆44Mar 19, 2026Updated 4 months 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.
- ☆45Apr 3, 2022Updated 4 years ago
- L站openai三份注册机，都研究去吧，别去花钱买了。☆41Mar 4, 2026Updated 5 months ago
- A RISCV Emulator written in Python☆46Jan 16, 2023Updated 3 years ago
- 实战项目：Python入门到进阶、Python可视化、Python自动化办公、高效工具、商业数据分析、爬虫、大数据☆42Sep 2, 2021Updated 4 years ago
- JAVA数字货币交易所--源代码（前后端完整代码），OKX正在开发中...包含web3钱包。现有交易所功能完善，具体可看案例☆49Jun 20, 2023Updated 3 years ago
- Linux-capable superscalar out-of-order RISC core (with Cache& MMU) and SoC, having been verified on Xilinx Kintex-7 FPGA.☆57Aug 14, 2024Updated last year
- MIT6.175 & MIT6.375 Study Notes☆51Apr 21, 2023Updated 3 years ago