Metamath Exe

Metamath program - source code for the Metamath executable
Alternatives To Metamath Exe
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Openroberta Lab121
4 months ago407apache-2.0JavaScript
The programming environment »Open Roberta Lab« by Fraunhofer IAIS enables children and adolescents to program robots. A variety of different programming blocks are provided to program motors and sensors of the robot. Open Roberta Lab uses an approach of graphical programming so that beginners can seamlessly start coding. As a cloud-based application, the platform can be used without prior installation of specific software but runs in any popular browser, independent of operating system and device.
Sqlassie68
12 years ago1gpl-3.0C
database firewall
Metamath Exe63
5 months ago36gpl-2.0C
Metamath program - source code for the Metamath executable
Rwloadsim40
8 months agoupl-1.0C
RWP*Load Simulator - your tool for scripting, simulation and much more. Like having a bit of bash and SQL, a nip of C or Java, a dash of awk, a grain of sed plus drops of secret sauce in one single tool. See https://blogs.oracle.com/database/rwploadsim-oracle-db-performance-simluator for the announcement on the Oracle database blog.
Wormtable25
8 months ago11lgpl-3.0Python
Write-once-read-many table for large datasets.
Libnogdb20
4 years ago3otherC++
NogDB Core in C++, a fast & lightweight native graph database library
Pecl Database Ibm_db220
7 months ago10apache-2.0PHP
Extension for IBM DB2 Universal Database, IBM Cloudscape, and Apache Derby
Gcc Builtin Study10
5 years agootherTeX
Linuxc_makefile_template7
7 years ago2C
Linux环境C语言编程项目多级Makefile管理模板
Alternatives To Metamath Exe
Select To Compare


Alternative Project Comparisons
Popular Database Projects
Popular Gcc Projects
Popular Data Storage Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Database
Gcc