Search Results for "libhamlib-4"
Sort By:
Showing 769 open source projects for "libhamlib-4"
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.
-
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.
-
1
Oscar.jl
A comprehensive open source computer algebra system for computations
Welcome to the OSCAR project, a visionary new computer algebra system that combines the capabilities of four cornerstone systems: GAP, Polymake, Antic and Singular. OSCAR requires Julia 1.6 or newer. In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory. -
2
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. ... -
3
GMAT
General Mission Analysis Tool
The General Mission Analysis Tool (GMAT) is an open-source tool for space mission design and navigation. GMAT is developed by a team of NASA, private industry, and public and private contributors. The GMAT development team is pleased to announce the release of GMAT version R2026a. For a complete list of new features, compatibility changes, and bug fixes, see the R2026a Release Notes in the Users Guide. -
4
Practically Random
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Randon number generation & testing. The best suite of statistical tests for fast PRNGs anywhere. Multithreaded for speed, command line tools for automation, no upper limit on data size. Also, a variety of C++ pseudo-random number generators with well designed interfaces aimed at practical uses, not just research. -
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.
-
5
Mobile Open-Source Software and Tools
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here. -
6
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
7
xLaDe
A Lean 4 Ecosystem Framework!
xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of backward-compatibility problems and improve ecosystem-level tooling for the Lean 4 theorem prover. ... -
8
Statistical program, somewhat like shareware DataFit. You may provide a custom template (or exchange the template library with your friends or Internet including sf.net) and test your tabled data. Calculates F-ratio.
-
9
K3DSurf (now MathMod) is a program to visualize and manipulate Mathematical models in three, four, five and six dimensions. K3DSurf supports Parametric equations and Isosurfaces. ****** Welcome to the realm of complex numbers! Change-log for MathMod-11.1 (16/06/2021) 1) Support of graphing functions with complex numbers Z=u+iv in 3D and 4D spaces (demo scripts: "Complex3D_xx" and "Complex4D_Saddle") 2) Added support for HSV (hue, saturation, brightness) coloring model (script: "Complex_Domain_Coloring") 3) Texture definitions (RGB and HSV) for parametric surfaces can now be expressed as functions of complex numbers 4) Added a software implementation for the OpenGL variable gl_FrontFacing (fixed an issue with GPU drivers on MacOSX Catalina). ...
-
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.
-
10
UnBBayes
Framework & GUI for Bayes Nets and other probabilistic models.
UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy. -
11
DDE-BIFTOOL
Bifurcation analysis for delay-differential equations
DDE-BIFTOOL is a set of routines for performing numerical bifurcation analysis of delay-differential equations, running in Matlab or Octave[2]. It was originally created by Koen Engelborghs at KU Leuven (Belgium). [1] Tutorial demo <http://ddebiftool.sourceforge.net/demos/neuron/html/demo1_simple.html> shows the output of an illustrative demo. <http://ddebiftool.sourceforge.net> links to documentation, a list of contributors and current maintainers. The original DDE-BIFTOOL webpage... -
12
We implement a fast version of Frommers Algorithm to calculate the focal values of a plane autonomous system over a finite field. Documentation and experiment database can be found at http://www.centerfocus.de
-
13
Generic data-assimilation toolbox written in java, with native (c and fortran) libraries for high performance computing. Provides tools to couple to your own model and a wide range of algorithms, ranging from parameter calibration to Kalman filters.
-
14
stkpp
C++ Statistical ToolKit
STK++ (http://www.stkpp.org) is a versatile, fast, reliable and elegant collection of C++ classes for statistics, clustering, linear algebra, arrays (with an Eigen-like API), regression, dimension reduction, etc. Some functionalities provided by the library are available in the R environment as R functions (http://cran.at.r-project.org/web/packages/rtkore/index.html). At a convenience, we propose the source packages on sourceforge. The library offers a dense set of (mostly) template... -
15
octave-joystick
Basic matlab-like api for reading a joystick in GNU Octave
Basic matlab-like api for reading a joystick in GNU Octave. It uses SDL 1 or 2 to provide the joysick functionality -
16
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on... -
17
Java multiprecision calculator
Multiprecision calculator
Multipresicion calculator, based on Bigdecimal Java class . It has a library (BigMath) that makes calculations with Bigdecimal. It has also an expression parser to parse the user input. It allows you to store user defined variables and functions . You can operate with them to be used for calculations or for creating new functions with composition. With the new version, you can also calculate the derivative of a function. JDK-17 compatibility You can find more about it at this web... -
18
GraficaFunzioni
mathematical function plotting and real-time analysis
[EN] GraficoAR is a lightweight, pure Java application for 2D mathematical function plotting and real-time analysis. Built with Swing without heavy external libraries, it features a custom recursive parsing engine that respects operator precedence (+,-,*,/). Features: dynamic Cartesian graphing, adaptive grid zooming/labeling, numerical differentiation (plots the 1st derivative in blue), and definite integration (Riemann sums with text output and transparent blue geometric shading under the... -
19
Hyperspectral data analysis in R
Handling and basic analysis of hyperspectral data in R
The hsdar package contains classes and functions to manage, analyse and simulate hyperspectral data. These might be either spectrometer measurements or hyperspectral images through the interface of rgdal. -
20
GluCat: Clifford algebra templates
Calculation with Clifford algebras: C++ library and Python module
GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL. -
21
sequoia-dap
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** Within the SIROCCO suite of numerical tools, the purpose of SDAP is to provide a flexible platform to carry out multivariate assimilation of geophysical data in a numerical model. The program is multi-grid (finite differences or finite... -
22
MaxFEM
Software for electromagnetic simulation
MaxFem is an open software package for electromagnetic simulation by using finite element methods. The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them. -
23
Java Calculator
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Generates the Reverse Polish Notation (Postfix) expression form of an arithmetic expression in (Infix) form. Performs the computation of the arithmetic expression if Integers or Floating point numbers are used in the expression. Supports PEDMAS order of computation, thus, all the operators of Exponentiation, Division, Multiplication, Addition and Subtraction, as well as using Parentheses for grouping and prioritization is all handled. -
24
relations
Kotlin library to analyze finite heterogeneous relations and endorelat
-
25
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example
