Search Results for "search"
Sort By:
Showing 30 open source projects for "search"
View related business solutions-
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.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
MathCode
A Frontier Mathematical Coding Agent
...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. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
2
ntuacarlo
A open-source implementation library of optimization algorithms
ntuacarlo: library of open-source implementation of optimization algorithms for Matlab/GNU Octave The library implements matlab functions for the following optimization algorithms: Simulated Annealing Particle Swarm Optimization Monte Carlo Exhaustive search The signature of the functions follow the same as the ga() function of Matlab. All the functions support lower and upper bounds, linear and non-linear constraints, and integer variables.Octave -
3
PI-Based Image Encoder / Converter
Python code able to convert / compress image to PI (3.14, π) Indexes
Image processing tool that encodes pixel data as indices within the first 16.7 million digits of PI (π). Features high-performance Numba-accelerated search and a signature 'film-grain' aesthetic upon reconstruction. ZIP also include 16 MB file with 16,7 mil numbers of PI Benchmark(Single-Thread): Hardware & Environment Apple Silicon: Apple M2 (Mac mini/MacBook) x86_64 Platform: Intel Core Ultra 5 225F (Arrow Lake, 10 Cores) OS 1: Fedora 43 (GNOME) OS 2: Windows 11 Pro (23H2/24H2) Software: Python 3.14.3 + Numba JIT (latest) Results (Lower is better) Platform / OS CPU Time (Seconds) macOS (Native) Apple M2 52.151311 s (in default setup) Fedora Linux Intel Core Ultra 5 225F 58.536457 s (in default Power Management: Balanced) Windows 11 Intel Core Ultra 5 225F 59.681427 s (important! ... -
4
TXM
Unicode XML TEI text analysis platform
...DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP full text search engine (http://cwb.sourceforge.net) and a range of statistical functions (factorial analysis, classification, cooccurrency analysis, etc.) based on R packages (http://www.r-project.org). Read the scientific background at the Textométrie project web site http://textometrie.ens-lyon.fr/?... -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
6
Chuck Coleman's SAS Codes
SAS Codes
...Directories under "Files" with descriptions: NESUG 2014: "A Fast, High-Precision Implementation of the Univariate One-Parameter Box-Cox Transformation Using the Golden Section Search in SAS/IML®" SESUG 2017: "Decomposing the R-squared of a Regression Using the Shapley value in SAS®" SESUG 2019: "Conditionally Executing Data Steps and Statements Based on the Presence of Variables in a SAS® Dataset" GASP 2020: "Online Winsorization of the Survey of Construction’s Price Estimates" My SESUG 2015 materials can also be found in my project "constrainingarrays" at https://sourceforge.net/projects/constrainingarrays/. -
7
FiboSearch
Efficiently locate minumum of function of non-negative integer
Fibonacci search for functions! Given a real-valued function of a non-negative integer with one minimum at i in {0, 1, 2, ..., n} and no local minima, efficiently locate that minimum in log (n) time. -
8
mssolutions
Makes magic squares.
These programs make magic squares and rectangles using "Constraint-Based Local Search". (For non-square rectangles, input the order as two numbers.) There are 3 similar programs: CompleteSquare, CompleteSquareSteps, and MagicSquares. Given an input square with some cell values between 1 and NxN specified, (and other cell values 0), CompleteSquare attempts to complete a magic square by placing the remaining values. -
9
NOMAD is a C++ code that implements the MADS algorithm (Mesh Adaptive Direct Search) for difficult blackbox optimization problems. Such problems occur when the functions to optimize are costly computer simulations with no derivatives.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
10
popt4jlib
Parallel Optimization Library for Java
...Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known network flow and other graph algorithms. A fast parallel implementation of the network simplex method, and some full-fledged parallel/distributed MIP solvers will be added in the next version. In general, emphasis is given in improving the efficiency of the algorithms in shared-memory models via java threads, since multi-core machines are so wide-spread today. -
11
MorseClusterSolver
The program is designed to search for clusters global minimum structur
The program is designed to search for clusters global minimum structures of Morse clusters. -
12
Maps coloring
Four color theorem application
Search for a pencil and paper proof of the four color problem. See http://4coloring.wordpress.com for info. Please let me know what you think about this application. Also visit the youtube channel: http://www.youtube.com/user/mariostefanutti/videos -
13
Bibtex Import
Imports bibtex references from MathSciNet
Uses MathSciNet to search for bibtex references. The matching references can then be edited and added to a local file. For information on how to use this software please consult the wiki. Requires a MathSciNet subscription. -
14
PyGAO
Genetic Algorithm Optimization for Python
...I am starting with a stripped-down version, where a solution can be described using a single vector of float numbers. Eventually, I will expand to more generic data structures and add multiple-species search options. For the time being, I have no plans of developing a GUI. For now, this is strictly a computational module. In addition to the standard Python libraries, PyGAO uses numpy. -
15
Large Scale Optimization Templates
C++ templates with generic nonlinear optimization algorithms
Highly tunable, simple to use collection of the templates, containing a set of classes for solving unconstrained large scale nonlinear optimization problems. Currently it contains: -- Limited Memory Quasi Newton (L-BFSG) -- BFSG -- Conjugate Gradient -- Gradient Descent -- Wolf condition Line Search -- Backtracking Line Search -- Exact Golden Search -- Golden Search with Wolf condition We also distribute a set of tests with the library. -
16
StatsCollect is a little framework gathering statistics from external sources (social networks, web sites...), stored in pluggable backends. It can be very easily extended thanks to its plugins (currently include Facebook, Myspace, Youtube, Google).
-
17
knowceans
Utility classes from maps to search engine to random samplers
.... --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString, NamedGroupRegex: regex convenience --- org.knowceans.corpus: CorpusSearcher: full-text search engine +++ LabelNumCorpus: svmlight corpus storage and filtering +++ NIPS corpus with text, authors, labels and citations --- org.knowceans.map: InvertibleHashMultiMap, BijectiveHashMap: implement n:m and 1:1 relations. --- Other libs: knowceans-arms = port of the Adaptive Rejection Metropolis Sampler (ARMS) for arbitrary distributions +++ lda-j = port of lda-c, implementing Latent Dirichlet Allocation (LDA) -
18
Fits and scores vertices from models onto reference vertices to find its polyhedral identity and symmetry quantitatively. Java based with GUI
-
19
Fast search using a standard SQL on Oracle or PostgreSQL database. The package includes the database creator, loader and web application. It supports SMILES and SMARTS substructure searches, similarity search, stereochemistry.
-
20
Humble modeler for one dimensional cellular automata, implemented in Flash Actionscript 3.0 for easy web application.
-
21
GoldenOrb is a java library under the Apache License V2.0 for correlation, summarization and clustering of text information.
-
22
Provides all financial annuity functions written entirely in Java 5: interest rate, number of periods, payment, present value, future value, type of payment. A Newton root search approach is included as an own Java class.
-
23
The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms.
-
24
Simple Java Graph is a minimal matrix- and listbased graph implementation. An AStar search algorithm is also available.
-
25
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
