Search Results for "definitions"
Sort By:
Showing 9 open source projects for "definitions"
View related business solutions-
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.
-
$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.
-
1
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... -
2
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. ... -
3
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 . -
4
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. -
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
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. ... -
6
PyPak is a Python library for communication with Campbell Scientific dataloggers through the PakBus interface over TCP/IP or serial lines.
-
7
YEI 3-Space C API
A C API for interfacing with the YEI 3-Space family of IMUs.
The YEI 3-Space Sensor Application Programming Interface (API) is a series of functions, classes, and structure definitions designed to make writing applications that utilize the YEI 3-Space family of sensors fast and easy to support. The C/C++ variant of the API is built as a header (.h) and dynamic link library (.dll + .lib). With the C/C++ API, users that require easy integration of the 3-Space family of sensors into programming environments not natively supported may import the dynamic link library and call its contained functions from the importing program, as the API's function prototypes are all compiled as C prototypes and are name mangled as such. -
8
Arachne
Exploration of a Hierarchical+Functional Approach To Data Organization
This is dedicated to development of a small class for organizing data in both a traditional parent<->child hierarchy and by the functions used to generate child data nodes from parent data. The core of the project is in the class definitions contained within arachne.py, a demonstration of how this method of arranging data can be used to solve a relatively interesting problem may be found in test.py -
9
YEI 3-Space Python API
A Python API for interfacing with the YEI 3-Space family.of IMUs.
The YEI 3-Space Sensor Application Programming Interface (API) is a series of functions, classes, and structure definitions designed to make writing applications that utilize the YEI 3-Space family of sensors fast and easy to support. The included module and support files handles message formatting, serialization of commands, conversion of return data to friendly data types, and 3-Space unit management. -
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.
- Previous
- You're on page 1
- Next
