Search Results for "gnu science"
Sort By:
26 projects for "gnu science" with 2 filters applied:
-
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.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
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. -
2
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.
-
3
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.
-
4
Personal wiki that lives in one self-modifying XHTML containing software, interface and data. Very useful for creating small websites and mantaining notes or todo-lists; completely javascript-programmable, supports encryption and file embedding.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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
-
7
A Neumann Gép egy a Magyar Debian Alapítvány által koordinált projekt, mely szabad dokumentációkat és más szoftvereszközöket készít az állami és civil szférában tapasztalható számítástechnikai alulképzettség leküzdésére
-
8
KCWiki is a set of wiki engines. awiki is a simple wiki. Goal is simplest but modular code. one-page coded style. No database is needed.
-
9
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.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
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.
-
11
Make AsciiDoc part of your literate programming tool set. With eWEB you can weave and tangle literate programs written as AsciiDoc documents, using embedded WEB code snippets.
-
12
Kelp is a source code annotation framework. Written in strict ISO C90 with support for Posix and Windows environments. Large file support. Supports both 32 and 64 bit platforms. Plugins for Vim and Eclipse are available.
-
13
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.
-
14
n-squared is a light weight, super powered note pad application that stores notes in an embedded database for easy searching. It has a tabbed interface, syntax highlighting, encryption, and more!
-
15
The objective of the OpenBerg Project is to develop Open-Source, Open-Standards-based, Multi-Platform tools for eBook authors, editors and users. We are currently working on OpenBerg Lector, an e-Book reader, and OpenBerg Rector, an e-Book compiler.
-
16
Resx Editor is a small translation-oriented file editor for Microsoft RESX 2.0 files. Resx Editor is designed for professional translators (include a word count feature).
-
17
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.
-
18
A CMS made for tutorials and HOW-TOs. If you want to help, drop me a msg at fusionstream@gmail.com Features: -Categories -WYSIWYG interface to post a tutorial -Support for themes -Interface made for easy and clear navigation -Advanced Search
-
19
Doceval is a software that allows to discover the documentation included in a tarball. Basically it serves to identify if a given software project has doc at all and helps with a report to evaluate how much documentation it has and how good it is.
-
20
I have stopped developing this project, as I found DokuWiki to be exactly what I was looking for when starting to develop Codeslang. Sorry.
-
21
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
-
22
Sxmlcnv is XML <-> SXML conversion tool. SXML is S-exp-based XML . So, You can create SXML programmable documents with whole power of Gauche scheme. It can be used all kinds of XML based document systems.
-
23
<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>
-
24
PHP World Portal is being developed as the framework for JLS Web Development's site. After each module is completed it will be released as open source for the public. The core framework will be released by 1/23/04.
-
25
