Search Results for "gnu science" - Page 13
Sort By:
Showing 1551 open source projects for "gnu science"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
Gony
A tiny and lightweight IDE for the Go programming language
Gony is an free, open-source, tiny and fast IDE for the Go programming language, designed to be easy. Write (and also learn) Go applications, in minutes. Gony has an integrated GoDoc Reference Widget which helps you at the whole time you code. Gony is very extensible and can be configured as well (Stylesheets, Themes, Plugins and more). -
2
Advanced Numerical Instruments 2D
Advanced numerical instruments: adaptive meshing, FE methods, solvers
Ani2D provides portable libraries for each step in the numerical solution of systems of PDEs with variable tensorial coefficients: (1) unstructured adaptive mesh generation, (2) metric-based mesh adaptation, (3) finite element discretization and interpolation, (4) algebraic solvers. -
3
SLOCCount is an easy-to-use tool that counts Source Lines of Code (SLOC). It auto-determines the language(s) (inc. C, C++, Ada, Assembly, shell, COBOL, C#, Fortran, Haskell, Java, LISP/Scheme, Perl, PHP, Python, Ruby, SQL). It also estimates cost & time.
-
4
GDB-ILI extends the GNU debugger with a generic interface to various interpreter languages. Features: Data transfer from/to debugee, direct interaction in interpreter shell, extended breakpoints,... Support for Matlab(R) and GNU Octave is included.
-
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.
-
5
GNU Rocket is an intuitive new way of controlling missiles. The project has moved to GitHub: http://github.com/rocket/rocket
-
6
QNetMapMigrate
Wrapper for QNetMap library
This is a library that allows applications that does not use Qt to use the QNetMap library (https://sourceforge.net/projects/qnetmap/). Library developed in the T8 LLC (http://t8.ru). Written and supported by Sergey Shumeyko. -
7
-
8
Java Machine Learning Library is a library of machine learning algorithms and related datasets. Machine learning techniques include: clustering, classification, feature selection, regression, data pre-processing, ensemble learning, voting, ...
-
9
openhealthpractice
A simulation environment for physiology models simulation
The OpenHealhPractice Simulation Environment is a web framework intended to concurrently manage and launch generalized models. Models can be uploaded by the users and also can be connected to other models in order to simulate them in a row. These simulations are stored and can be reviewed or deleted at anytime. The Graphical Visualization Environment (GVE) provides the graphical visualization of the simulation results. Results can also be exported to different formats (xls, txt or... -
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.
-
10
The BioNLP UIMA Component Repository provides UIMA wrappers for novel and well-known 3rd-party NLP tools used in biomedical text prosessing, such as tokenizers, parsers, named entity taggers, and tools for evaluation.
-
11
FP-WinHugsHaskellTester
Executes Haskell-tests using WinHugs and visualizes the results.
Checks a haskell script (lhs, hs) based on tests specified in a test file and provides a graphical user interface to show the results, including return values compared to check value(s), coloring to see which tests fail at a glance and approximate execution time benchmarking. As a test file you may use a valid haskell script file (that runs in WinHugs) simply checking for logical equality of expressions (using ==). You may also use "~>" after a haskell expression to indicate the desired... -
12
XièXiè Compiler
High-level, meta-language, trans-compiler with virutal machine
XièXiè is a language with a trans-compiler (or rather source-to-source compiler) which compiles to mainly C++ (C++98 and C++11). It also comes with an own assembler compiler for ARM, IA-32/ x86 and its own byte-code XBC (XièXiè-Byte-Code) including a virtual-machine. XièXiè can be seen as a "Meta Language". --- THIS PROJECT IS IN IT'S FIRST STEPS --- -
13
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. -
14
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.
-
15
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,... -
16
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... -
17
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. -
18
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
-
19
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. -
20
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
-
21
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
22
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.
-
23
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.
-
24
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. -
25
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...
