Projects in Awesome Lists tagged with tortoise
A curated list of projects in awesome lists tagged with tortoise .
https://github.com/marktennyson/flask-tortoise
Adds asynchronous Tortoise ORM(Like Django-ORM) support for flask app.
async-orm asynchronous asyncio database flask flask-async-orm-support flask-sqlalchemy flask-tortoise python sqlalchemy tortoise tortoise-orm
Last synced: 12 Apr 2025
https://github.com/dmxlarchey/the-tortoise-and-the-hare
The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).
brent coq coq-formalization cycle-detection floyd hare tortoise
Last synced: 22 Apr 2025
https://github.com/bennuttall/tortoise
Collection of Python scripts running on a Raspberry Pi, used for looking after Leo the tortoise
animals energenie gpiozero homeautomation raspberrypi tortoise
Last synced: 03 Mar 2025
https://gitlab.com/xxxevexxx/vkontakte-template
Vkontakte Template - это пример создания бота для Vkontakte, который использует библиотеку VKBottle для взаимодействия с VK API, фреймворк FastAPI для создания API и базу данных через Tortoise-ORM.
Last synced: 08 Feb 2025
https://github.com/11belowstudio/sbig2022
One Unspecified Period Of Time At Kevin's Contrived Plot Device Of A Tortoise Sanctuary
bad-music c-sharp csharp fnaf game gesamtkunstwerk horror kevin sbig so-bad-its-good survival-horror tortoise unity
Last synced: 26 Feb 2025
https://github.com/ejscunha/tortoise_websocket
Tortoise Websocket transport
elixir mqtt tortoise websockets
Last synced: 10 Apr 2025
