Search Results for "definitions"
Sort By:
Showing 44 open source projects for "definitions"
View related business solutions-
Premier Construction SoftwareRated #1 Construction Accounting Software by Forbes Advisor in 2022 & 2023. Our modern SAAS solution is designed to meet the needs of General Contractors, Developers/Owners, Homebuilders & Specialty Contractors.
-
Field Service+ for MS Dynamics 365 & SalesforceResco’s mobile solution streamlines your field service operations with offline work, fast data sync, and powerful tools for frontline workers, all natively integrated into Dynamics 365 and Salesforce.
-
1
Napkin
An Infinitely Large Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. ... -
2
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
3
TURF
A modular geospatial engine written in JavaScript
...Turf is a collection of small modules, you only need to take what you want to use. Takes advantage of the newest algorithms and doesn't require you to send data to a server. TypeScript definitions are packaged with each module. No DefinitelyTyped packages required. Turf uses GeoJSON for all geographic data. Turf expects the data to be standard WGS84 longitude, latitude coordinates. Check out geojson.io for a tool to easily create this data. -
4
rssfiz
Java science library.
Java science library. Project contains modules for physics units, particle and quantum physics, molecule, chemistry and universe definitions, also additional math classes. -
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
5
...Share your open-source data sets and MWE extraction tools, exchange ideas on evaluation strategies and further development of the tools, and discuss theoretical definitions and linguistic properties of MWEs.
-
6
IP-XACT 2009/2014 Platform
Smart GUI/Commandline tools to create IP-XACT( 2009/2014) files
Smart GUI to create or update IP-XACT often needed for the IP packaging. It has capability create Bus Definitions from scratch to populate BusDef library. One can create IP-XACT Component, Design or Registers by importing Ip in System Verilog/Verilog-95/VHDL, instantiate Bus Interfaces with proper port maps and attributes as needed. Smart GUI to create IP-XACT Registers, Memory Maps, Address Blocks for IP- has feature to import XLS or Verilog . -
7
...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). The activation of this patch is available from mathmodconfig.js ("OpenGlConfig"-->"GL_FrontFacingSupport"=false) or the GUI("Appearance"-->"OpenGL Front Surface Support") 5) Bug-fixes, code optimization and documentation update.
-
8
ms
Tiny millisecond conversion utility
Use this package to easily convert various time formats to milliseconds. Works both in Node.js and in the browser. If a number is supplied to ms, a string with a unit is returned. If a string that contains the number is supplied, it returns it as a number (e.g.: it returns 100 for '100'). If you pass a string with a number and a valid unit, the number of equivalent milliseconds is returned. For added safety, we're using Template Literal Types (added in TypeScript 4.1). This ensures that you... -
9
Skippity
Test and measurement automation for electronics, physics and more
...Skippity doesn't rely on instrument specific vendor drivers so it can communicate with both legacy and current commercial instruments and also with devices you've designed and built yourself. Once you've told Skippity about your instruments and their commands using simple dialogs, you can use those definitions in scripts to create multi-instrument test sequences without worrying further about the specifics of your instruments. Skippity's instruction set is easy to learn, and a built-in scripting tool does most of the work so you don't have to be a coder to automate your test rig or experiment. Skippity scripts can control multiple instruments simultaneously via Ethernet and RS-232, and can transparently interface with GPIB instruments via external pro -
Loan management software that makes it easy.Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.
-
10
Vector network Analyzer (VNA)
Save Touchstone files and load calibration kits from HP & Agilent VNAs
...Designed for Unix / Linux systems, using a National Instruments GPIB board. There are programs * 'vna' to save Touchstone files. * 'calkit' to upload calibration kit definitions to the VNA, including the properties of the shorts, opens and thrus. This is alpha software, and has little documentation. Contact the author, Dr. David Kirkby at https://www.kirkbymicrowave.co.uk/ drkirkby@kirkbymicrowave.co.uk for help. -
11
Logic Lab
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions. -
12
DimensionalAnalysis
Performs dimensional analysis from cells in a spreadsheet.
The Dimensional Analysis tool is meant to be used with spreadsheets containing variable definitions and formulas with physical units. It will execute the definitions and the formulas; and calculate the resulting units. The spreadsheet must follow a standard for the variables and the formulas. The general convention is to put variable names, values & formulas, and units in three columns. Make sure the names match the contents of the name cells. -
13
Canon_ex
Key Data elements and controlled vocabularies For Cardiology
N.B This Project is DEPRECATED Canon contains an experimental collection of fields - key data elements (2700) and controlled vocabularies - Pick Lists (4000) for cardiology. It can be used for the construction of Electronic Medical Records and to produce structured Reports Is using the Phoenix - Elixir framework and as backend storage is using the Postgresql Database. Most vocabularies are from the Registries : CathPCI, Action, TVT, NICOR, IMPACT, ICD, CARDS, Echo Standards and... -
14
Gellish - A Product Modeling Language
Formalized English (o.a.) for standardized information exchange
Formal English (Formal Dutch, etc.) are members of the Gellish family of computer interpretable languages for modeling products and processes and their properties as well as for knowledge representation, modeling of requirements and for modeling definitions. The project is intended for further development of Formal English and its Taxonomic Dictionary-Ontology. Software tools for supporting implementations are developed as a https://github.com/ project. The 2008 version of the taxonomic dictionary is available for free download on this website. Later releases can be licensed via http://www.gellish.net/ -
15
forest01
Automatic delineation of forest borderlines
Forest01 is a tool for the automatic mapping of forest based on Airborne Laser Scanner data. The forest mapping is performed by means of quantitative criteria typical of forest definitions, namely minimum threshold for the height of trees, canopy cover, forest area size and width. -
16
TOVAL: Toms Java Library
Library with classes for common programming issues.
TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more. -
17
PhyloTrack
PhyloTrack, D3.js and JBrowse for phylogeny and positioning of samples
PhyloTrack is a JavaScript--based software tool that integrates the D3.js library for data visualization with the JBrowse tool for genome browser representation. It requires a phylogenetic tree of the common Newick data format as input, as well as three meta data files for samples, clade-defining nodes and clade color definitions - all in tab delimited format. Functionality within PhyloTrack shows the informative markers at each node in the phylogenetic tree, therefore highlighting clade-defining polymorphism. This functionality has been implemented using the tabix tool on the server side, providing simple and rapid access to the information at each tree node, including informative SNPs stored in VCF-similar files. ... -
18
Notepad++ Verilog Plugin
Verilog plugin for Notepad++
...Current features: - Instantiate a module - Insert registers/wires from a module - Generate a test bench template - Automatically inserts a default header for a test bench - Insert a clocked always block v1.2.0 now supports ANSI and non-ANSI module declarations. To use this plugin, select the module declaration (including parameter and I/O definitions below for non-ANSI) and click SHIFT-CTRL-C. This selects the module and parses its components. After this, all other functions are available. -
19
Agent.GUI
The Project moved to github https://github.com/EnFlexIT/AgentWorkbench
The project has moved to github https://github.com/EnFlexIT/AgentWorkbench Agent.GUI is a simulation framework and toolkit based on the JADE framework. It provides functionalities for time aspects, agent-environment interaction, visualization and load balancing, Furthermore, the included application focuses the usability for end users. -
20
modDFS
Find whether a KEGG module is complete in a proteome
Given module definitions and reaction information based on a KEGG database, modDFS does a depth first search to find whether a set of KOs are sufficient for completion of a module. For cases where only 1 absent KO would've been enough for module completion, that module is reported to be complete(only lenient). For cyclic modules, completion is defined as having all the module reaction steps present. -
21
q pipeline manager
q: integrated platform for pipeline configuration and management
...Data processing pipelines require high-level organization and parallelization of work to optimize resource utilization and decrease the time to results. q (from queue) allows complex job sequences to be efficiently assembled and managed, including dependency tracking, parallelization, and pipeline-level monitoring, error recovery, and data protection. Pipelines are constructed from modular script files, with job definitions and results stored in easily retrieved job files. A web interface facilitates job submission and monitoring, with the complete pipeline exportable for full transparency. -
22
MSC Patran & Nastran Syntax Highlighting
MSC Patran & Nastran syntax highlighting and auto-completion Notepad++
Syntax definitions for MSC Patran and MSC Nastran Function auto-completion and descriptions for MSC Patran Command Language (PCL) & MSC Nastran Direct Matrix Abstract Program (DMAP) Compatible file extensions: *.ses *.pcl *.bdf *.f04 *.f06 *.log *.rpt Have a look for further informations to the Wiki pages! -
23
tinyMOBY
Semantically enriched WSDL 2.0 descriptors for BioMoby services
BioMoby Web services do not use XML Schema for datatype definitions and thus may not be thoroughly described in WSDL language. BioMoby relies on its own BioMoby Central Registry where type information may be consulted through SOAP API or may be seen as RDF ontology. tinyMOBY is an extension for the tinyWSDL WSDL 2.0 parser, which allows to embed BioMoby ontology into the WSDL 2.0 descriptors, thus providing complete BioMoby Web services definitions through Semantically Annotated Web Services Descriptions. ... -
24
PyPak is a Python library for communication with Campbell Scientific dataloggers through the PakBus interface over TCP/IP or serial lines.
-
25
1/ WCA interprets a file containing the definitions of variables and expressions to be analysed, computes the worst case analysis, and prints the results. 2/ WCADB extends MathCAD to perform Monte-Carlo W.C.A. based on drifts taken from an external database.
