Search Results for "libhamlib-4"
Sort By:
Showing 950 open source projects for "libhamlib-4"
View related business solutions-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
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. -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
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
NumeRe
Framework for numerical computations, data analysis and visualisation
Curve fitting | Data analysis | Plotting | Matrix operations | FFT | Extensible framework | Multiple file formats | Programmable | Open source | Free for everyone NumeRe: Framework for Numerical Computation is a numerical framework written for Microsoft Windows(R) and released under the GNU GPL v3 for solving and visualizing mathematical and physical problems numerically. Keep simple things simple: You want to plot a sine function? Just enter 'plot sin(x)'. You want to load some... -
8
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. ... -
9
Gap.app
Gap.app is a frontend and distribution for GAP on macOS
A native Macintosh front-end and distribution for the GAP computer algebra system. It provides a Mac-like command editing environment and save/load, while making available graphical libraries compatible with xgap. -
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.
-
10
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.
-
11
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). ...
-
12
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. -
13
Calc
Rechner für kompexe Zahlen mit verschiedenen Zahlensystemen
Ein wissenschaftlicher Rechner, der sogar komplexe Zahlen in anderen Zahlensystemen darstellen kann. -
14
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... -
15
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
-
16
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.
-
17
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... -
18
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 -
19
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... -
20
Pf4
Explore Thurston maps with four postcritical points
This program performs many computations for finite branched covers from the 2-sphere to itself with exactly four postcritical points. -
21
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... -
22
matcik svg editor
svg editor: Easily create documents for math, physics, chemistry...
Easily create documents for math, physics, chemistry, biology and other sciences... Book, exam and activity preparation program Easily import application vectors such as geogebra, chart, mathlive, ckeditor, desmos, into your document, or import vectors from pdf files into your document, save and rearrange your file. if you want You can use the documents you have prepared on your website or convert them to pdf. Matcik advanced online svg editor. Matematik, fizik, kimya, biyoloji ve... -
23
NumeRe::Packages
The central package repository for NumeRe
This is the central repository for publicly available NumeRe packages. You can access the files in this repository either via SVN (see Repository tab) or directly with the built-in package repository browser. Using the repository browser, you can install packages with one click. If you like to add your package to the repository, please contact us using Discord: https://discord.gg/s5tSjwU -
24
DataPrep
Python-based data preprocessing tool
DataPrep v0.2 is a Tkinter-based GUI application/tool designed to assist users in data preprocessing, multicollinearity removal, and feature selection for a wide range of applications in Cheminformatics, Bioinformatics, Data Analysis, Feature Selection, Molecular Modeling, Machine Learning, and Quantitative-structure-property relationship (QSPR) studies. It includes functionality to load, process, and save datasets with support for different preprocessing & multicollinearity removal... -
25
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...
