Search Results for "gnu science"
Sort By:
Showing 13 open source projects for "gnu science"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
CatMDEdit is a metadata editor tool for describing resources, mainly geographic information. Developed by IAAA (University of Zaragoza) and GeoSpatiumLab S.L., sponsored by IGN Spain. Technical details: Java, XML, multiplatform, multilingual.
-
2
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
3
RoboCup GameController is an open source software used in the RoboCup Humanoid League and the Standard Platform League. Referee commands are sent to the robots on the playing field via wireless network to reach a higher autonomy of the players.
-
4
Transliterator between any Language files - Map Fonts, Create Encoding Scheme, Input Phonetic, Indian, Roman, Tamil, Hindi, English, French, German, Spanish or Any World Language Keyboard. Ex: [Phonetic Input]-[Any World Language Output] or ViceVersa.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
ThManager is a tool for creating and visualizing knowledge organization models, such as thesauri, classification schemes, glosaries and other types of controlled vocabulary in SKOS format
-
6
TuBa, the Turorial Base, is an environment for creating developer tutorials with support of elucidative programming (EP). Unlike other EP-systems it is able to handle all artefacts, that appear in a development process.
-
7
Alef++, is a new programming language like Perl and Lisp syntax, with a many changing in classical languages designs, her specification designed to be implemented for any VM, by default can access to any private/protected/default Java fields or methods.
-
8
Docgen plugin for Protege provides a quick export of all the content of an ontology (classes, instances and documentation) in various formats (html, pdf, fo...). Images, Graphs, URL are readyly included in reports.
-
9
This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
I have stopped developing this project, as I found DokuWiki to be exactly what I was looking for when starting to develop Codeslang. Sorry.
-
11
Content management system, focusing on (1) usability; (2) simple edit / review / publish cycle; (3) syndication; and (4) integrated formatting for ease of printing the published documents, to PDF, RTF, or transformed via XML / XSLT to DocBook, LaTeX, etc
-
12
<b>JAVA LOGGING API that targets:<br> - Simplicity (1 line to init & log, no external objects)<br> - Maintability (auto monthly & yearly archives)<br> - Performance (bckg min priority thread pool)<br> - Extensibility (simple design)<br> Try it!</b>
-
13
BibTeXlipse is an Eclipse plugin for managing and analyse bibliography databases. Mainly for BibTeX databases, but will import and export many other bibliographic formats. It's currently in planning phase.
- Previous
- You're on page 1
- Next
