Tridu33's repositories
LeetCodeWars
my Solutions for problems both in LeetCode and CodeWars(.java & .hs)
ZERO-Starting-AI-Planning-in-PDDL-Descripted-World
ZERO-Starting AI Planning in PDDL-Descripted World
Neothesia
Flashy Synthesia Like Software For Linux,Windows and MacOs
Auto-GPT-ZH
Auto-GPT中文版本及爱好者组织 同步更新原项目 AI领域创业 自媒体组织 用AI工作学习创作变现
awesome-systematic-trading
A curated list of insanely awesome libraries, packages and resources for systematic trading. Crypto, Stock, Futures, Options, CFDs, FX, and more | 量化交易 | 量化投资
awesome-tauri
🚀 Awesome Tauri Apps, Plugins and Resources
awesome-tidalcycles
List of awesome things related to the live coding system TidalCycles and its close relatives
botpress
The open-source hub to build & deploy GPT/LLM Agents ⚡️
CompCert
The CompCert formally-verified C compiler
dnmp
Docker LNMP (Nginx, PHP7/PHP5, MySQL, Redis)
excelCPU
16-bit CPU for Excel, and related files
janino
Janino is a super-small, super-fast Java™ compiler.
jasync-sql
Java & Kotlin Async DataBase Driver for MySQL and PostgreSQL written in Kotlin
Java
All Algorithms implemented in Java
lilypond
This is just a mirror of GNU LilyPond repository. If you'd like to contribute to LilyPond, please look at http://www.lilypond.org/development.html
musicxml-player
A TypeScript component that loads and plays MusicXML files in the browser using Web Audio and Web MIDI.
OI-wiki
:star2: Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
openctp
CTP开放平台提供A股、港股、美股、期货、期权等全品种接入通道,通过提供中泰证券XTP、华鑫证券奇点、东方证券OST、东方财富证券EMT、盈透证券TWS等各通道的CTPAPI接口,CTP程序可以无缝对接各股票柜台。平台也提供了一套基于TTS交易系统的模拟环境,同样提供了CTPAPI兼容接口,可以替代Simnow,为CTP量化交易开发者提供7x24可用的模拟环境。
reflex-examples
See Reflex FRP in action with tinker-friendly code samples you can run yourself.
rete-studio
A general-purpose code generation tool powered by Rete.js
SimpleCVPaperReading
:smile:博客论文列表:分系列整理
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
tidal-doc
tidal翻译
wechatbot-webhook
http 请求驱动的微信机器人
wondertrader
WonderTrader——量化研发交易一站式框架