Search Results for "open-shell" - Page 4
Sort By:
531 projects for "open-shell" with 2 filters applied:
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
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
Use Case Tool
Writing use cases
The tool for writing readable use cases. Write use cases in XML with support from a provided XSD. The structure promotes the Use Case format described by Alistair Cockburn. The tool then generates a pretty web site with the use cases that is comprehensive and easy to read. The XML sources are treated as a Maven project, so you can easily deploy them to a web server, version the source files, manage history of changes, and collaborate in a team. -
3
JSDuck
Simple JavaScript Duckumentation generator.
API documentation generator for Sencha JavaScript frameworks. JSDuck aims to be a better documentation generator for Ext JS than the old ext-doc was. It is used by Sencha to document Ext JS 4, Sencha Touch and several other products. NB! Windows binaries are now hosted in Github: https://github.com/senchalabs/jsduck/releases -
4
AsciiDoc is a presentable text document format for writing articles, UNIX man pages and other small to medium sized documents. The asciidoc(1) command translates AsciiDoc files to HTML, DocBook and LinuxDoc formats.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
GDLEditor
Web-based editor for the Gateway Description Language (GDL).
Web-based editor for the Gateway Description Language (GDL). -
6
Doxverilog is a nativ Verilog/SystemVerilog parser for the Doxygen documentation generator. This allows the production of advanced documentation from Verilog/SystemVerilog sourcecode.
-
7
-
8
SonicReader
Sonicwall Configuration File Reader
SonicReader is used to view and save reports of the internals of a Sonicwall Configuration file. This is useful for those people that wish to know the settings within their saved Sonicwall Configs. I have no affiliation with Dell Sonicwall. Please do not contact Dell Sonicwall regarding the use of this program. -
9
OpenGL Software Development Kit
Utility libraries for working with OpenGL.
The Unofficial OpenGL SDK is a collection of utility libraries designed to make it easy to learn the exciting world of 3D programming with the OpenGL library. This project is not associated with The Khronos Group. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
iceline
doc cms + more
A wiki backed CMS that is under development. This is a lGPL fork of a PHP5 project, pls watch for features. When teir 2 is complete, useful for small or medium applications or sites. Teir 3 is focussing on enterprise (aka dark-art non-functional high volume/ high scalability alterations). The teir3 will be published under a different licence, and is the primary branch. lGPL editions include full features of teir3. I'm a software engineer, I write a CMS to build a personal... -
11
This is a tutorial about how to create a video player. This tutorial pretends to be a brief introduction to the Graphics User Interfaces (GUI) programming, using the Python programming lenguage and Qt framework, both multiplataform. In this tutorial we'll use PyQt to show you the base of Qt programming under Pyhon. To make this tutorial even more funny, because you can learn the theorical side of Qt programming just reading the documentation, I will focus it only in the practical...
-
12
DEFT, the Development Environment For Tutorials, allows you to easily write and maintain tutorials which contain source code examples. If the code you're documenting changes, your examples in the tutorial will change as well.
-
13
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.
-
14
MyBooklet
专为开发者打造的笔记本应用程序
MyBooklet是专为开发者打造的笔记本应用程序，在很多时候会发觉自己的一些笔记或者源代码比较难以分类和维护，因为有可能一段笔记或者代码涉及方面很多，这时候通过传统的文件夹来划分比较困难，使用MyBooklet可以解决这些问题，其提供强大的文章编辑功能和集中式管理，并提供标签功能便于快速查询笔记。 -
15
Livro sobre segurança da informação, cobrindo tópicos como: firewalls, IDSs, quebra de senhas, VPNs assim como técnicas para proteger as camadas de uma pilha TCP/IP.
-
16
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
-
17
-
18
Timemine is a graphical desktop front to add and edit time entries in the project management tool Redmine [http://www.redmine.org]. Timemine show a daily view of the time entries for the logged in user and a summary for each day in a tree view.
-
19
Analyzes programs (and projects) written in Cobol and generates information (HTML) for its easy reading, understanding and analysis.
-
20
NetBeans Dictionaries
Additional dictionary files for the NetBeans spellchecker.
Additional dictionary files for the NetBeans spellchecker. -
21
-
22
AJAX based wiki designed to operate like a desktop help viewer(chm)
-
23
A revision of the JavaDoc standard doclet for generating Java API documentation in HTML that uses CSS and JavaScript to provide an improved user interface.
-
24
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.
-
25
openADAMS is an "Artifact Documentation And Management System" to document and manage artifacts appearing in the software development process of a product, for instance requirements, use cases or test cases.
