Search Results for "definitions"
Sort By:
Showing 9 open source projects for "definitions"
View related business solutions-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
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
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. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
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. -
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.
- Previous
- You're on page 1
- Next
