Search Results for "integer set library" - Page 3
Sort By:
Showing 313 open source projects for "integer set library"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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.
-
1
pyntcloud
pyntcloud is a Python library for working with 3D point clouds
...Point clouds are one of the most relevant entities for representing three dimensional data these days, along with polygonal meshes (which are just a special case of point clouds with connectivity graph attached). In its simplest form, a point cloud is a set of points in a cartesian coordinate system. Accurate 3D point clouds can nowadays be (easily and cheaply) acquired from different sources. pyntcloud enables simple and interactive exploration of point cloud data, regardless of which sensor was used to generate it or what the use case is. Although it was built for being used on Jupyter Notebooks, the library is suitable for other kinds of uses. pyntcloud is composed of several modules (as independent as possible) that englobe common point cloud processing operations. -
2
RSolver is a program and library for solving quantified inequality constraints over the real numbers. Problems like projecting the solution set of a set of inequality constraints to two dimensions can be directly formulated as such constraints.
-
3
Pure C99 Quadratic Sieve 230-bit minute, RSA-100 factored, easily accessible on Windows and Linux. Hello and welcome at sourceforge.net, i'm your student at Université de Franche-Comté, Mon, 11 Jul 2022. This ~2500 lines Pure C factorization software : - is imediately compatible with Microsoft Windows, Linux (no one dependancy) - is a C99 command line factorizer from 0 to 300 bits (330 bits were factored in the lab) - is built so that you can easily use and test the software -...
-
4
opbdp
opbdp (non-linear) pseudo-Boolean optimization
opbdp is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. A research report describing the techniques used in opbdp is included. -
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
ECTk
ECTk - The electrochemical tool kit
...It is for example possible to drive, besides a potensiostat, simultaneously other instruments like a rotating electrode set-up. -
6
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
This is a Dynamic C port of the BACnet stack at http://sourceforge.net/projects/bacnet. This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
7
PeCalc
PeCalc is a polyvalent engineering calculator for S&T students
PeCalc allows making calculations with integer fractions, complex numbers, complex matrices, rational functions and complex polynomials. It also allows making changes of numeric base, prime factor decomposition, solving linear equation systems, statistical and financial computations, rational fraction decomposition and plotting some control engineering graphs. PeCalc includes comprehensive user help in English and Spanish. Currently PeCalc runs on Android and MS Windows. A version for GNU... -
8
Mimosa is a modeling and simulation platform, covering the process from building conceptual models to running the simulations. The specification uses ontologies and an extensible set of formalisms for the dynamics. The simulation kernel is based on DEVS.
-
9
Automatic Drawing Generation
A canvas library for generating technical drawings
The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. -
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.
-
10
slimcpplib
Simple Long Integer Math for C++
SLIMCPP is C++ header-only library that implements long integers that exceed maximum size of native type supported by a specific compiler by 2-4 times. All classes, methods and functions were not created or designed to work with huge numbers, for which there are specialized big integer mathematical libraries. In some cases, it is necessary to temporarily perform calculations with precision exceeding the maximum supported size of integers, and then return the result to its native size again. -
11
ESP32 BLE Keyboard library
Bluetooth LE Keyboard library for the ESP32
...There is also Bluetooth-specific information that you can set (optional): Instead of BleKeyboard bleKeyboard; you can do BleKeyboard bleKeyboard("Bluetooth Device Name", "Bluetooth Device Manufacturer", 100);. (Max length is 15 characters, anything beyond that will be truncated.) By default the battery level will be set to 100%, the device name will be ESP32 Bluetooth Keyboard and the manufacturer will be Espressif. -
12
jfDataLogger
PLC Data Logger
jfDataLogger ============ jfDataLogger can log data from PLC controllers. Supports Hardware: - Siemens S7-300/400 PLCs - AllenBradley (CompactLogic Controllers only) - ModBus IP protocol - National Instruments DAQmx System Features: - Trigger bit at start - Save/Load data set - Save Image - log to CSV Website: http://jfdatalogger.sourceforge.net -
13
HSGlib.orbital
A gnuplot library to plot keplerian orbits and more
It is a gnuplot library that gathers a set of functions to deal with problems of celestial mechanics. It allows one to easily accomplish tasks such as: - Converting orbital elements into Cartesian coordinates and vice-versa - Evaluate orbital position as function of the flight time and vice-versa - Plotting keplerian orbits easily -
14
QuCAT
Quantum Circuit Analyzer Tool
QuCAT stands for Quantum Circuit Analyzer Tool. This open source python library provides standard analysis tools for superconducting electronic circuits, built around Josephson junctions. QuCAT features an intuitive graphical or programmatical interface to create circuits, the ability to compute their Hamiltonian, and a set of complimentary functionalities such as calculating dissipation rates or visualizing current flows in the circuit. -
15
HMD Mathematics
Numerical mathematics platform, Matlab alternative
Matlab alternative. Scilab alternative. GNU Octave alternative. Mathematics software for numerical computation. Ordinary differential equations solver and finite elements solver. It has a console script interpreter, as well as a graphical interface script interpreter, for entering equations and statements, and a line plot display. -
16
Arduino HomeKit ESP8266
Native Apple HomeKit accessory implementation for the ESP8266 Arduino
...Enjoy the "one-key" build, "one-key" upload, and work to link various other Arduino libraries with Apple HomeKit! This library is built with ESP8266 Arduino Core 2.6.3. Lower versions may compile with errors. For ESP32, see Arduino-HomeKit-ESP32. The HomeKit running on ESP32 has a GREAT PERFORMANCE which is 10x faster than ESP8266. You should set the ESP8266 CPU to run at 160MHz (at least during the pairing process), to avoid the tcp-socket disconnection from the iOS device caused by a timeout. -
17
PS-Drone
Programming a Parrot AR.Drone 2.0 with Python - The Easy Way
The PS-Drone-API is a full featured SDK, written in and for Python, for Parrot's AR.Drone 2.0. It was designed to be easy to learn, but it offers the full set of the possibilities of the AR.Drone 2.0, including Sensor-Data (aka NavData), Configuration and full Video-support. The video function is not restricted to mere viewing, it is also possible to analyze video images data using OpenCV2. Obviously, the PS-Drone is perfect for teaching purposes; however, even the requirements for... -
18
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
19
Visual Figaro
System safety, dependability and security analysis
Visual Figaro is an integrated environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://www.edf.fr/recherche/codes-de-calcul/kb3). KB3 is based on the FIGARO reliability modeling language, suitable for describing CTMC (continuous time Markov chains), DES (discrete event simulation) models, and for automatic generation of fault trees. FIGARO is objet oriented, close to natural language and enables building libraries of reusable components... -
20
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
21
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data... -
22
-
23
-
24
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
25
RegexToNFA
Compiles regular expressions into modular NFA
This program compiles regular expressions (regexes) written in the modified ECMAScript regex grammar into modular nondeterministic finite automata suitable for hardware acceleration. This was originally an extended re-implementation of the "front-end" part in the following paper: https://www.computer.org/csdl/proceedings/reconfig/2008/3474/00/3474a073-abs.html It has since grown to include conversion of a set of NFAs to a DFA; compilation of NFAs to instruction suitable for...
