我的书库 : Computer Science | Machine Learning | Math | Systematic Trading | Economics | and more. Format: pdf
☆29Aug 27, 2022Updated 4 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
- Command line tool for Tsinghua University network authentication☆27Aug 23, 2019Updated 7 years 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
- resources of quantitative trading☆412Jun 23, 2019Updated 7 years ago
- ☆23Aug 11, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- GooseGooseDuck Cheat plugis☆11Dec 19, 2022Updated 3 years ago
- ☆15Oct 6, 2022Updated 3 years ago
- PumpDotFun SDK☆17Aug 30, 2025Updated last year
- 从零开始编写与大语言模型（LLM）有关的所有代码，用于学习☆16Jun 27, 2024Updated 2 years ago
- 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
- 北京航空航天大学自动化专业课程资料 BUAA Course Material of Major in Automation☆56Dec 10, 2023Updated 2 years ago
- A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)☆75Nov 26, 2023Updated 2 years ago
- 基于AI的英语分析工具，支持单词解析和句子分析。为用户提供详细的英语学习辅助，包括发音、词义、用法、例句等多维度的语言知识。☆32Aug 21, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A RISC-V RV32I ISA Single Cycle CPU☆26May 22, 2025Updated last year
- An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…☆72Apr 12, 2025Updated last year
- A library for effects in Coq.☆65May 28, 2022Updated 4 years ago
- A Wait-Free Universal Construct for Large Objects☆97Nov 29, 2019Updated 6 years ago
- Selfie At anywhere in the world with Nanobanana Pro API☆191Nov 25, 2025Updated 9 months ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 3 years ago
- Concurrency Paper☆118Jun 1, 2023Updated 3 years ago
- MIT6.175 & MIT6.375 Study Notes☆51Apr 21, 2023Updated 3 years ago
- 武汉理工大学2020数学建模国赛国二/美赛国二/数维杯国一/亚太国二/校内集训/优秀论文等资料☆166May 2, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MarketData☆120Jul 9, 2026Updated last month
- Simple cache design implementation in verilog☆55Nov 20, 2023Updated 2 years ago
- TUNet 2018 认证协议的纯 python 实现，含 auth4 / auth6 / net 认证。适用于服务器在无人交互时自动认证☆153Jul 29, 2024Updated 2 years ago
- 平头哥玄铁C910的LLVM工具链支持，由PLCT实验室提供，非官方版本☆75Mar 15, 2021Updated 5 years ago
- 2018第二届全国大学生FPGA创新设计邀请赛的作品☆65Dec 21, 2018Updated 7 years ago
- My collection of public domain single file libraries☆78May 22, 2020Updated 6 years ago
- Authentication utility for srun4000 (auth.tsinghua.edu.cn / net.tsinghua.edu.cn / Tsinghua-IPv4)☆298Jul 20, 2026Updated last month
- Generic Register Interface (contains various adapters)☆141Aug 6, 2026Updated 3 weeks ago
- 支持智能路由，计算最优套利路线 solana onchain arbitrage bot, supports intelligent routing and calculates optimal arbitrage routes☆101Sep 7, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Totally Versatile Miscellanea for Pytorch☆475Mar 20, 2022Updated 4 years ago
- Formal verification for OCaml, with Rocq☆274May 18, 2026Updated 3 months ago
- Real-time DexScreener scraper python SDK for multi-chain token discovery, filtering, and OHLC/OHLCVT export for metatrader and bots.☆114Apr 30, 2026Updated 4 months ago
- A benchmark framework for concurrent queue implementations☆301Apr 4, 2020Updated 6 years ago
- Sample python code that uses the v20 python library☆286Aug 16, 2022Updated 4 years ago
- 《Lua解释器构建：从虚拟机到编译器》随书源码☆212Apr 26, 2023Updated 3 years ago
- OpenSource HummingBird RISC-V Software Development Kit☆178Dec 5, 2023Updated 2 years ago