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:
- Easy integrated Python scripting embedded in C++☆24Jun 25, 2020Updated 6 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- Coq集合模型论☆10Aug 18, 2022Updated 3 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- 基于红外、可见光双光源的车辆目标检测☆16Apr 20, 2022Updated 4 years ago
- NodeBB Plugin enabling emoji as seen on http://www.emoji-cheat-sheet.com☆14Updated this week
- Master thesis template for Computer Science at TU Delft☆13May 19, 2022Updated 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 4 months ago
- Stroke-based Character Reconstruction ---> https://arxiv.org/abs/1806.08990☆15Dec 6, 2021Updated 4 years ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- 我的 OI 课件 (slides for Olympiad in Informatics)☆23Mar 17, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 3 years ago
- An end to end ASR Transformer model training repo☆13Dec 8, 2021Updated 4 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- 🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.☆13Mar 16, 2023Updated 3 years ago
- Vibe with Xiaomi AI Speaker☆23Feb 25, 2026Updated 4 months ago
- ☆12Sep 19, 2016Updated 9 years 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 2 months ago
- One stop-shop for matplotlib based visualizations☆10Jun 9, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 闪狐云机场 FlashFox - 官方网站发布页☆23Feb 11, 2026Updated 5 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- Ionic Framework Tutorial.《跟老卫学Ionic》☆10Mar 20, 2019Updated 7 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆41Jun 22, 2026Updated 3 weeks ago
- encode and decode between polylines and geojson☆13Dec 27, 2025Updated 6 months ago
- Makes working with GeoSpatial Extents Easy. A simple chainable extent class.☆14Jan 16, 2024Updated 2 years ago
- We introduce FixEval , a dataset for competitive programming bug fixing along with a comprehensive test suite and show the necessity of e…☆26Aug 31, 2022Updated 3 years ago
- PlanetMapper: An open source Python package for visualising, navigating and mapping Solar System observations☆15Updated this week
- Write Datasette canned queries as plain SQL files☆14Jul 2, 2022Updated 4 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.
- High-level HTTP clients for Python.☆17Jun 25, 2026Updated 3 weeks ago
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- Plugin for Intake to read from SQL servers☆15May 29, 2023Updated 3 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆49Jun 1, 2026Updated last month
- 🐚 CLI tool for working with Firefly Zero: build, publish, and install games, control device, etc.☆15Updated this week
- Like FromStr but it owns☆14Mar 23, 2025Updated last year
- 记录斯坦福公开课EE263的学习资料以及笔记。☆17Aug 29, 2019Updated 6 years ago