Search Results for "gnu science" - Page 17
Sort By:
Showing 2020 open source projects for "gnu science"
View related business solutions-
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.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
1
CHP: C# HTN-Planner
A simple HTN-planner written in C#
C# HTN-Planner (CHP), a simple HTN-Planner written in C#. A domain-independent automated planning system based on ordered task decomposition, similar to SHOP2. It includes a Microsoft Visual Studio project (CHP) and a Unity3D project (CUHP), both with some examples. It is inspired by Dana Nau's Pyhop implementation and the book Automated Planning: Theory and Practice by Malik Ghallab et al. -
2
GLP-Solve
An IDE for lpsolve made in C language
This IDE replicates the official lpsolve project IDE made in Delphi. Its author is Juan José Gago Martínez. Project stopped at version 1.2, but now is being revived by Hélio Guilherme, starting with version 1.2.1. -
3
WARNING: Project moved to http://github.com/scemama/irpf90 IRPF90 is a Fortran90 preprocessor written in Python for programming using the Implicit Reference to Parameters (IRP) method. It simplifies the development of large fortran codes in the field of scientific high performance computing.
-
4
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
ontocomp
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
OntoComP is a Protégé 4 plug-in for completing OWL ontologies. It enables the user to check whether an OWL ontology contains "all relevant information" about the application domain, and extends the ontology appropriately if this is not the case. It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has... -
6
CLUE - C Learning Undergrad Environment
Tools to support the learning of the C programming language
CLUE (C Learning Undergraduate Environment) is a software allowing students to work on assignments in the C language while benefiting from support for peer testing, hyper-linked tutorials to help them understand compiler error messages, detection of "novice errors" with warnings hyper-linked to tutorials. Sponsored by National Science Foundation under award CCLI #0836863. -
7
FreeOSEK RTOS
Project has been move to https://github.com/ciaa/Firmware
The project is not more active, we have fix a lot of issue and perform many improvements. These are now deliverd as part of a new project: https://github.com/ciaa/Firmware ---- FreeOSEK is a scalable solution for embedded system. FreeOSEK OS is based on OSEK RTOS specification (OSEK-VDX). visit us in: http://opensek.sourceforge.net -
8
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
9
A python module that provides algorithms for advanced search - basically all you need to build a search engine.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
Graphal
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
Graphal is an interpreter of a programming language that is mainly oriented to graph algorithms. There is a command line interpreter and a graphical integrated development environment. The IDE contains text editor for programmers, compilation and script output, advanced debugger and visualization window. The progress of the interpreted and debugged graph algorithm can be displayed in 3D scene. -
11
OO7J is a Java version of the original OO7 benchmark (written in C++) from Mike Carey, David DeWitt and Jeff Naughton = Univ Wisconsin-Madison.The original benchmark tested ODBMS performance. This project also includes benchmarking ORM Tools
-
12
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
13
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
14
at3mod
Improved LabVIEW drivers for Andor sCMOS cameras
This project provides an improved interface to the atcoreA driver used to control Andor cameras using SDK3 - namely their sCMOS cameras Neo and Zyla. The interface now includes LabVIEW error handling and buffer handling code along with examples of how to operate the cameras from a dataflow environment. -
15
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
16
ProximityForest
Efficient Approximate Nearest Neighbors for General Metric Spaces
A proximity forest is a data structure that allows for efficient computation of approximate nearest neighbors of arbitrary data elements in a metric space. See: O'Hara and Draper, "Are You Using the Right Approximate Nearest Neighbor Algorithm?", WACV 2013 (best student paper award). One application of a ProximityForest is given in the following CVPR publication: Stephen O'Hara and Bruce A. Draper, "Scalable Action Recognition with a Subspace Forest," IEEE Conference on Computer... -
17
neural network designer
a dbms for neural nets. Chatbots, DTrees, random forests, n-grams,...
This project consists out of a windows based designer application and a library (that can run on multiple platforms, including android) together with several demo applications (including an MVC3 chatbot client and an android application). It is probably best compared to a database management system, but for neural networks instead of relational data. As such, the library is optimized for handling any type of data-size by using advanced streaming and caching algorithms. With the designer,... -
18
FlightFeather's goal is "social networking for everyone". This means that anyone should have a chance to run a popular social networking site -- on minimal hardware, and without wasting bandwidth.
-
19
ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina
-
20
Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.
-
21
The Language of Your Choice (Loyc) project is intended to become a rich set of tools for cross-language interoperability. THE PROJECT HAS MOVED TO GITHUB / LOYC.NET / CORE.LOYC.NET
-
22
dBASE Reader and Converter
!!! NO LONGER MAINTAINED !!!
dbf is an easy-to-use command line tool to show and convert the content of dBASE III, IV, and 5.0 files. It reads dBASE databases and prints the content to the screen or converts it to comma-separated (*.csv) files which can be opened in Excel, Calc. -
23
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
24
wingS (wingS is net generation Swing) is a Java library for developing web based AJAX applications in a way like developing Swing based applications.
-
25
Brighton Server
Python Framework for Multipurpose Server
Brighton Server is a framework that help the server implementation based on python and console interface with feature like a screen control, logging control for the moment.
