Search Results for "scientific"
Sort By:
Showing 2 open source projects for "scientific"
View related business solutions-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
$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
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive... -
2
OpenResearch
Turn your coding agents into research agents
OpenResearch is a local-first workspace that turns coding agents into research agents capable of running structured scientific workflows. It works with Claude Code, Codex, OpenCode, and Cursor while letting each research direction use an independent session and Git worktree. Agents can review literature, propose hypotheses, modify code, launch experiments, inspect results, and generate research artifacts. Experiments are tracked through a Git-native tree that preserves lineage and immutable snapshots. ...
- Previous
- You're on page 1
- Next
