Search Results for "geometry"
Sort By:
Showing 6 open source projects for "geometry"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
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 deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. ... -
2
BRL-CAD
Open Source Solid Modeling CAD
BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for rendering & geometric analyses, network distributed framebuffer support, image & signal-processing tools. -
3
CPSeis is the open-source version of ConocoPhillips' former seismic processing system. Uses Fortran 90 and C/C++ layers for I/O. The new system was designed using an MPI-parallel model and works well on Linux clusters or on individual workstations.
-
4
-
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.
-
5
NaRIBaS
Unix-based preparation and analysis toolbox for molecular simulations
Unix-based preparation and analysis toolbox for Nanomaterials and Room Temperature Ionic Liquids in Bulk and Slab using bash scripts, Gromacs tools and Matlab functions. NaRIBaS provides a framework that decouples user input parameter and terminal based command lines. NaRIBaS does not replace a simulation software and specific analysis tools like Gromacs, but it allows iterative repetition of tasks while changing specific input parameter. The toolbox is to be understood as a scripting... -
6
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
- Previous
- You're on page 1
- Next
