Open BTC 5-minute prediction market sandbox for AI agents — register with one API call, get 1,000 test credits, and place a live order
- ai-agents
- prediction-markets
- starter-template
- trading-bot
Repository Index
47,133 repositories indexed
2,137–2,160 of 2,278 · Most stars
SPARK formal verification automated with Travis CI
A Swift playground demonstrating how to use Core Animation
- swift-playgrounds
😎 Awesome lists about Internationalization & localization stuff. l10n, g11n, m17n, i18n. Translations! 🌎🌍
Simple PHP federation endpoint with a static JSON dataset
Phalcon cli template
Aldous-Broder algorithm implementation in Pascal for maze generation. Contains few optimizations.
- game-development
- maze
- maze-generator
- pascal
Opening hours don't have to be so boring - A TDD & Refactoring Kata
A code kata on the Goose Game
- codekata
- programmingkata
- kata
- deliberate-practice
A template for implementing a Websocket controller for ChicagoBoss
testbed for WebXR Depth Feature
Tutorials on how to use swift NSDate or related classes. NSDate, NSDateFormatter, NSCalendar, NSDateComponents, NSDateComponentsFormatter, etc included.
A few playgrounds to showcase Swift peculiar features
Bioinformatics-themed kata for practicing string manipulation in a data transformation pipeline. Contains replit files to work quickly in an online dojo setting.
- kata
- challenge
- python
- bioinformatics
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Teaches students Robot programming in python by having them create code that passes the unit tests
- robotpy
- python
- frc-robot
EOSIO smart contract examples, patterns and use of eosjs SDK and unit tests such as eoslime
- eosio
- blockchain
- smart-contracts
- telos
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754
Repo to accompany the series "Build A Pet Management System With Remix, Prisma, and Postgres" https://www.youtube.com/watch?v=wqyHGQlZcws&list=PLTnRtjQN5ieYu9SdwLvzKYFVtfqySY7FT
- crud
- html
- javascript
- postgresql
Simulated railway network in SPARK/Ada
Exsplore Sprite Kit in this playground. Learn how to setup and use spriteKit and change parmeters to see how it effects the sprites. Updated to Swift3
Bake git information into your binary.
Demo Project of the DSSSP: React Library for Audio Equalizers & Filter Visualization
An example of how to make native extensions for GameMaker in Rust!
- gamemaker
- rust
- rust-lang