The home for the Progressive Learning Platform tool
☆12Sep 22, 2016Updated 9 years ago
Alternatives and similar repositories for progressive-learning-platform
Users that are interested in progressive-learning-platform are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A book on MIPS assembly programming using simulators (MARS, SPIM, QtSpim) targeted at college students.☆13Mar 6, 2026Updated 2 months ago
- Debug Drawing Text using Lines☆16Jun 17, 2025Updated 10 months ago
- A simple image viewer based on SDL2 and stb_image☆19Apr 1, 2026Updated last month
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- It's one better☆11Jan 1, 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.
- A implement for C coroutine☆10Apr 17, 2024Updated 2 years ago
- Fast Genetic Programming☆11Oct 10, 2019Updated 6 years ago
- LIDA Software Framework☆10Nov 21, 2014Updated 11 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- A command line tool for Alessandro Warth's OMetaJS ( an object-oriented language for pattern matching )☆14Jul 31, 2011Updated 14 years ago
- A tidy, intuitive, robust C library for decoding WebM data.☆20Aug 9, 2024Updated last year
- Library to turn SEXPs into a Plump-DOM and back.☆12Aug 13, 2025Updated 8 months ago
- ⭐ User Contributions to NeoMutt☆13Jun 12, 2022Updated 3 years ago
- Another websocket implementation, which is inspired by https://github.com/noVNC/websockify and https://github.com/gorilla/websocket.☆11Oct 19, 2023Updated 2 years 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.
- Examples for Probabilistic System Anglican☆13Oct 28, 2019Updated 6 years ago
- enable libemu run pe file and add some good modify☆14Feb 4, 2019Updated 7 years ago
- rqlite dialect for Knex.js☆14Sep 27, 2024Updated last year
- SWAT - System-Wide Analysis Toolkit☆16Oct 4, 2021Updated 4 years ago
- ☆14Oct 27, 2020Updated 5 years ago
- PASL Safebox cryptocurrency☆10Oct 2, 2021Updated 4 years ago
- Simple Bayesian rule learning model described in Frank & Tenenbaum (2011), Cognition☆14Mar 29, 2015Updated 11 years ago
- A C header file & shader for simulating colourblindness and checking contrast.☆31Jun 19, 2018Updated 7 years ago
- A very simple coverage highlighter for VIM☆12Dec 2, 2020Updated 5 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.
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 7 years ago
- An AFL scaling benchmarking tool☆18May 29, 2020Updated 5 years ago
- A collection of custom key/value storage backends for Go☆22Dec 29, 2022Updated 3 years ago
- A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents☆17Jan 19, 2024Updated 2 years ago
- Stubs and thoughts about PEP 550☆12Dec 8, 2017Updated 8 years ago
- libs2e.so☆19Dec 19, 2020Updated 5 years ago
- python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"☆14Jun 29, 2020Updated 5 years ago
- Monero wallet Trezor integration documentation☆16Jun 22, 2020Updated 5 years ago
- Torrent Indexer☆15Sep 27, 2018Updated 7 years ago
- 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.
- ASIO Cooperative Task for await-based coroutine☆16Sep 8, 2018Updated 7 years ago
- Monero Subaddress javascript utility☆17Feb 7, 2019Updated 7 years ago
- QEMU fork☆10Mar 12, 2021Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- Here I will put my cheatsheets☆14Apr 9, 2024Updated 2 years ago
- Ricardo is an open-source robot featuring computer vision AI and remote controlling features☆15May 3, 2022Updated 4 years ago
- New RFCs for IRC!☆13May 22, 2021Updated 4 years ago