欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
TOra
来自开放百科 - 灰狐
TOra is a Toolkit for Oracle which aims to help the DBA or developer of database application. Features PL/SQL debugger, SQL worksheet with syntax highlighting, DB browser and a comprehensive set of DBA tools. TOra also includes support for MySQL and Post
- License : GNU General Public License (GPL)
- Programming Language : C++, PL/SQL
分享您的观点
