Search Results for "automatic java code generator"
Sort By:
Showing 2 open source projects for "automatic java code generator"
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.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
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
MIPGen
Simple Molecular Interaction Potential Generator in Python
Molecular Interaction Potential Generator MIPGEN is a python program that will calculate Molecular Interaction Potential grids over a given molecule, that could be either a protein or a small organic compound (drug). The output will be a series of grids with DX format (*.dx) that the user will be able to visualize using any Molecular visualization program like VMD, PyMol, Chimera... For more information on dependencies and usage, please read the Documentation. Users are welcome...
- Previous
- You're on page 1
- Next
