Programming exercises for kids (no prior programming experience required)
☆17Jul 13, 2024Updated 2 years ago
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:
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- Coq集合模型论☆10Aug 18, 2022Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- An aircraft dynamics and control model for closed-loop RTCA requirements testing.☆15Jun 30, 2026Updated last month
- 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 verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 5 months ago
- 我的 OI 课件 (slides for Olympiad in Informatics)☆23Mar 17, 2026Updated 4 months ago
- ☆14May 29, 2019Updated 7 years ago
- A curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 4 years ago
- Vibe with Xiaomi AI Speaker☆23Feb 25, 2026Updated 5 months ago
- Multithreaded Adaptive Optics Simulator☆18Jul 17, 2026Updated 3 weeks ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆32May 10, 2023Updated 3 years ago
- This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…☆29Apr 27, 2026Updated 3 months ago
- Constructive Galois connections☆35Mar 26, 2018Updated 8 years 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.
- One stop-shop for matplotlib based visualizations☆10Jun 9, 2025Updated last year
- 闪狐云机场 FlashFox - 官方网站发布页☆23Feb 11, 2026Updated 5 months ago
- A Top-Down Approach for Image Vectorization☆24Dec 17, 2023Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- Official MegEngine Implementation of Real-Time Intermediate Flow Estimation for Video Frame Interpolation☆30Jul 14, 2022Updated 4 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆41Jul 29, 2026Updated last week
- encode and decode between polylines and geojson☆13Dec 27, 2025Updated 7 months ago
- Makes working with GeoSpatial Extents Easy. A simple chainable extent class.☆14Jan 16, 2024Updated 2 years ago
- PlanetMapper: An open source Python package for visualising, navigating and mapping Solar System observations☆15Updated this week
- 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.
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆49Jun 1, 2026Updated 2 months ago
- The Wetland DEM Ponding Model☆13Sep 22, 2021Updated 4 years ago
- In Spec We Trust☆41Jun 29, 2025Updated last year
- Configure the symbols displayed for test outcomes☆12Apr 7, 2022Updated 4 years ago
- A small utility to make alias distributions on PyPI.☆11Jul 13, 2025Updated last year
- Graph that downloads patent citation data from USPTO's PatentsView API on-demand and stores it locally in an SQL database (and in memory)…☆17May 5, 2025Updated last year
- Automated geometry scenario runner (loosely analogous to the Geometry Modification tool) for HEC-RAS.☆10Jun 15, 2023Updated 3 years ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 9 months ago
- numcodecs Rust API for buffer compression☆14Jul 20, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Collection of Flood Hazard Layers for New York City.☆12Nov 21, 2023Updated 2 years ago
- Formatter for pyproject.toml files☆14Updated this week
- Exploring modern RESTful services for gridded data☆12May 8, 2022Updated 4 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆48May 13, 2018Updated 8 years ago
- create issues from pytest-reportlog files☆14Updated this week
- ☆16Nov 22, 2021Updated 4 years ago
- Analyze and cure awesome lists by collecting, processing and presenting data from listed Git projects.☆20Oct 12, 2025Updated 9 months ago