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:
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- Coq集合模型论☆11Aug 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
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 基于红外、可见光双光源的车辆目标检测☆16Apr 20, 2022Updated 4 years ago
- a model zoo☆11Jul 19, 2017Updated 8 years ago
- Repo☆12Mar 7, 2022Updated 4 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
- Tensorflow Implementation of adversarial learning based adversarial example generator☆10Jan 31, 2018Updated 8 years 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
- Train Neuronal networks to automate your home☆19Mar 1, 2023Updated 3 years ago
- Caffe implementation of Optimal-Ternary-Weights-Approximation in "Two-Step Quantization for Low-bit Neural Networks" (CVPR2018).☆15Sep 21, 2018Updated 7 years 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 curated list of awesome Synthetic Aperture Radar (SAR) software, libraries, and resources.☆18Aug 7, 2022Updated 3 years ago
- ☆13Apr 10, 2017Updated 9 years ago
- 我的 OI 课件 (slides for Olympiad in Informatics)☆23Mar 17, 2026Updated last month
- Official PyTorch Implementation of "Learning Architectures for Binary Networks" (ECCV2020)☆26Nov 15, 2020Updated 5 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆32May 10, 2023Updated 2 years ago
- Head Pose estimator using Apache MXNet. HeadPose_ResNet50_Tutorial.ipynb helps you to walk through an entire work flow of developing a CN…☆16Dec 7, 2022Updated 3 years ago
- Makes working with GeoSpatial Extents Easy. A simple chainable extent class.☆14Jan 16, 2024Updated 2 years ago
- encode and decode between polylines and geojson☆13Dec 27, 2025Updated 4 months ago
- Write Datasette canned queries as plain SQL files☆14Jul 2, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Plugin for Intake to read from SQL servers☆15May 29, 2023Updated 2 years ago
- High-level HTTP clients for Python.☆17Apr 14, 2026Updated 2 weeks ago
- A repository for a presentation on debugging and performances tricks with MXNet Gluon☆24Sep 17, 2018Updated 7 years ago
- 🐚 CLI tool for working with Firefly Zero: build, publish, and install games, control device, etc.☆15Updated this week
- ☆16Oct 23, 2025Updated 6 months ago
- Like FromStr but it owns☆14Mar 23, 2025Updated last year
- Naive XML & JSON Bindings for python attrs!☆16Apr 1, 2026Updated 3 weeks ago
- The Wetland DEM Ponding Model☆13Sep 22, 2021Updated 4 years ago
- Visualizing data to better monitor issues around food security☆14Nov 28, 2024Updated 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.
- Configure the symbols displayed for test outcomes☆12Apr 7, 2022Updated 4 years ago
- Linear algebra utilities for Python☆13Oct 28, 2025Updated 6 months ago
- In Spec We Trust☆42Jun 29, 2025Updated 10 months ago
- A simplify version of mobilenet, with less group and feature maps, trained on Imagenet.☆18Jul 17, 2017Updated 8 years ago
- auto-tuning momentum SGD optimizer☆23Jul 14, 2017Updated 8 years ago
- A small utility to make alias distributions on PyPI.☆11Jul 13, 2025Updated 9 months ago
- Python package for analyzing and representing droplets and emulsions☆12Apr 19, 2026Updated last week