Programming exercises for kids (no prior programming experience required)
☆17Jul 13, 2024Updated last year
Alternatives and similar repositories for kid-programming
Users that are interested in kid-programming 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 web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- 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.
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 4 years ago
- Master thesis template for Computer Science at TU Delft☆13May 19, 2022Updated 3 years ago
- Quadcopter control with RL☆16Nov 8, 2021Updated 4 years ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated last month
- Flying Drones☆23Apr 7, 2024Updated 2 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- Mathematica Game Package☆26Apr 17, 2022Updated 3 years ago
- 我的 OI 课件 (slides for Olympiad in Informatics)☆23Mar 17, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 使用llvm实现的类C语言（解释器构造实践课程设计）☆10Jan 8, 2019Updated 7 years ago
- ☆12Sep 19, 2016Updated 9 years ago
- 本项目仅用于记录团队内部分享议题及一些大事件，记录团队成长的过程。☆10Apr 2, 2019Updated 7 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆32May 10, 2023Updated 2 years ago
- 2020秋季可视化兴趣小组☆10Mar 22, 2021Updated 5 years ago
- Constructive Galois connections☆36Mar 26, 2018Updated 8 years ago
- Only for exploring Chinese baby name☆10Nov 19, 2018Updated 7 years ago
- ☆12Sep 15, 2019Updated 6 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆48May 13, 2018Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Assembly Programming Learning Platform☆29Sep 16, 2012Updated 13 years ago
- HTML version on: http://fherrera124.github.io/taocp/☆12Jul 13, 2016Updated 9 years ago
- Makes working with GeoSpatial Extents Easy. A simple chainable extent class.☆14Jan 16, 2024Updated 2 years ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆41Apr 3, 2025Updated last year
- encode and decode between polylines and geojson☆13Dec 27, 2025Updated 3 months ago
- Solutions to The Art of Computer Programming exercises☆12May 29, 2017Updated 8 years ago
- Write Datasette canned queries as plain SQL files☆14Jul 2, 2022Updated 3 years ago
- A roadmap of the expected evolution of mobile networks which have potential impacts on Web applications☆13Oct 19, 2015Updated 10 years ago
- Plugin for Intake to read from SQL servers☆15May 29, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- High-level HTTP clients for Python.☆17Mar 31, 2026Updated last week
- 南方科技大学 GPA 查询系统☆12Jun 16, 2018Updated 7 years ago
- OllyDbg 2.01 简体中文版. Simplified Chinese translation of OllyDbg 2.01.☆13Mar 1, 2015Updated 11 years ago
- 🐚 CLI tool for working with Firefly Zero: build, publish, and install games, control device, etc.☆15Updated this week
- ☆16Oct 23, 2025Updated 5 months ago
- Naive XML & JSON Bindings for python attrs!☆16Apr 1, 2026Updated last week
- 计算机相关知识的笔记☆11Sep 20, 2022Updated 3 years ago