Southball's repositories
remark-mermaid
Inline Mermaid conversion for Remark.
nimble
Simple file explorer with search.
rails-forum
Simple forum written to learn Rails.
creusot-devcontainer
Attempt to make creusot + why3 work in VSCode devcontainer.
discord-tickets-bot
The most popular open-source and self-hosted ticket management bot for Discord - a free alternative to the premium and white-label plans of other popular ticketing bots.
dyro
Dyro: Dynamic Rust Ownership Verification
gunicorn
gunicorn 'Green Unicorn' is a WSGI HTTP Server for UNIX, fast clients and sleepy applications.
miri
An interpreter for Rust's mid-level intermediate representation
nocodb
🔥 🔥 🔥 Open Source Airtable Alternative
pyocr-server
OCR server (powered by tesseract) packaged in a Docker containre.
react-hook-form
📋 React Hooks for form state management and validation (Web + React Native)
traefik
The Cloud Native Application Proxy
windmill
Open-source developer platform to turn scripts into workflows and UIs. Fastest workflow engine (5x vs Airflow). Open-source alternative to Airplane and Retool.