Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
Repository Index
70,234 visible repositories in the index
1–11 of 11 · Most stars
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
- rdflib
- semantic-web
- linked-data
- python
A Python wrapper around Synology API
- python
- synology
- synology-nas
- python-3
Regex based Python script that converts arbitrary gdscript code to C#
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Builds of the GNAT Ada compiler from FSF GCC releases
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
a parser for Forsyth-Edwards Notation (for encoding chess positions)