tortoise
Here are 33 public repositories matching this topic...
Drawing bounding box on tortoise face using fasterRCNN
-
Updated
May 27, 2021 - Jupyter Notebook
The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).
-
Updated
Jul 9, 2018 - Coq
In this project, there are 4 types of games and 5 different players. Basically, in this project,the first player name, you have to select the game you want to play, after playing the game, the score is stored and it continues to be saved and update in the .txt file of each player, and in that which The scoreboard is displayed according to the da…
-
Updated
Aug 3, 2022 - Python
A simple guide to migrate LOCAL svn repos made with tortoise to GIT
-
Updated
Jan 4, 2017 - PHP
Interactive story generator based on generative models. The goal of this project is to make an interative, infinitely replayable text-based game.
-
Updated
Nov 21, 2023 - Python
🛡 Authorization and authentication service
-
Updated
Dec 1, 2022 - Python
FastAPI fullstack web-app for science calculations (formulat, plots, tasks and forum)
-
Updated
Apr 29, 2024 - Python
Adds asynchronous Tortoise ORM(Like Django-ORM) support for flask app.
-
Updated
Feb 17, 2023 - Python
My first website. This website is based on the Teenage Mutant Ninja Turtles original arcade game attract screen.
-
Updated
Sep 26, 2022 - HTML
Collection of Python scripts running on a Raspberry Pi, used for looking after Leo the tortoise
-
Updated
Sep 24, 2017 - JavaScript
Improve this page
Add a description, image, and links to the tortoise topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tortoise topic, visit your repo's landing page and select "manage topics."