Monty and Py grow up to become hackers. A Python book for children
☆19Dec 29, 2015Updated 10 years ago
Alternatives and similar repositories for monty-and-py
Users that are interested in monty-and-py are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Random notes on mathematics (in German)☆14Oct 17, 2026Updated last week
- A development version of the numerically exact variant of MIP solver SCIP☆11Mar 22, 2023Updated 3 years ago
- Flashbox: Twitter your Lightning image☆10Nov 14, 2018Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆67Jul 17, 2026Updated 3 months ago
- Dumps of the rc3.world maps☆10Jan 3, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Podcasting 2.0 web player that connects to your own node using Lightning Node Connect☆21Jan 4, 2023Updated 3 years ago
- Node.JS/Browser Web Annotation Framework☆16Nov 18, 2025Updated 11 months ago
- The Scrit engine (old experimental code)☆17Feb 25, 2023Updated 3 years ago
- Bitcoiners contributing to climate change solutions - the website☆16Jan 9, 2024Updated 2 years ago
- This is a ZigBee testing framework developed by BuLogics to automate the testing of ZigBee devices☆11Feb 11, 2013Updated 13 years ago
- BASE OAI-PMH Validator back end.☆15Nov 15, 2016Updated 9 years ago
- Create OmniFocus tasks from messages in mutt☆14Aug 27, 2017Updated 9 years ago
- A plugin for the Serverless Framework which adds an action to validate your CloudFormation template☆10Feb 15, 2016Updated 10 years ago
- Clojure(Script) Example CMS☆11Jan 24, 2015Updated 11 years ago
- 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.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- ☆13Dec 17, 2018Updated 7 years ago
- Histonets is an application to convert images of scanned maps into digital networks☆20Oct 16, 2017Updated 9 years ago
- Data Mining Historical Newspaper Metadata (METS/ALTO formats)☆25Feb 6, 2026Updated 8 months ago
- lean-related presentations☆18Oct 21, 2026Updated last week
- Linux Utilities for NodeJS☆12Nov 5, 2012Updated 13 years ago
- LeapMotion mouse controller for Linux/X, with optional Qt GUI☆23Apr 30, 2019Updated 7 years ago
- Drop-in comments module for a Yesod application☆10Sep 30, 2025Updated last year
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tool-level guards and skill prompts for pi-mono, tuned for small local LLMs. Ports techniques from Itay Inbar's little-coder paper.☆17Updated this week
- lightning payable e-bike☆32Dec 18, 2018Updated 7 years ago
- Data structures and HXT parser for OpenStreetMap files☆13Jan 20, 2019Updated 7 years ago
- Summaries of my university courses (in German)☆27May 27, 2020Updated 6 years ago
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 3 years ago
- ☆12Oct 5, 2014Updated 12 years ago
- VMware vCenter management☆15Dec 20, 2014Updated 11 years ago
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- A set of examples for pybind11☆18Nov 10, 2023Updated 2 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.
- Dataset of snapshots captured every 15 minutes of the status of 9 cryptocurrencies.☆24Apr 14, 2019Updated 7 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- ☆10May 3, 2017Updated 9 years ago
- Fork from http://svn.codehaus.org/mojo/trunk/sandbox/macker-maven-plugin/☆15Jun 11, 2016Updated 10 years ago
- Advanced Dnsmasq management module for puppet CFM☆13May 21, 2024Updated 2 years ago
- New version of Effects library with dependent states☆13Jan 14, 2014Updated 12 years ago
- ☆18Aug 11, 2014Updated 12 years ago