Search Results for "javaee code generator"

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 mathematical engineer than a one-shot text generator. ...

XMDS is a code generator that integrates equations. You write them down in human readable form in a XML file, and it goes away and writes and compiles a C++ program that integrates those equations as fast as it can possibly be done in your architecture.

...MathMod allows to plot 3D mathematical surfaces, described by implicit or parametric equations, and offers a very large database of model samples that can be generated with it. It's Free and Open Source. Change-log for MathMod-13.0 (15/11/2025) 1) Scripts generator to add thickness to iso/parametric surfaces 2) Undo/Redo commands for navigating through previous scripts 3) New scripts, Bug-fixes, code optimization and documentation update For a complete list of changes made during the course of development, please visit: https://github.com/users/parisolab/projects/2

...Aside calculators comes with color coded for resistors, inductors and capacitors. Support matrix calculation. Solving systems of n equations. Periodic table of elements. QR code generator Create new User functions with pascal script.

Aleph One is a highly sophisticated program for generating fractals. Some major features are: A built-in expression generator, 32-bit colouring schemes for the fractals, multi-threaded and multi-server rendering! WOW! And lots, lots more... The source code has moved to GitLab: https://gitlab.com/jmmcg/alephone

Programmer's library for random numbers. Also random number generator testing code. Intended for simulation, games and "Monte-Carlo" algorithms.

...Technically, ganja.js is a code generator producing classes that reificate algebraic literals and expressions by using reflection, a built-in tokenizer and a simple AST translator to rewrite functions containing algebraic constructs to their procedural counterparts. ganja.js now has a nodejs based templated source generator that allows the creation of arbitrary algebras for C++, C#, python and rust.

Fractals generator with powerful functionality. E-mail: programmingspecial@gmail.com

A Tiny Mathematical Speed Parser ATMSP is a portable C++ parser for mathematical expressions like "sin(x)+y^2" e.g. These may contain arbitrary numbers of functions, variables and constants. Major design goal was minimalistic size and maximum speed. Tiny 320 code-lines offer a parser plus bytecode-generator, 26 mathematical functions and 17 supported base-types including complex and arbitrary MPFR-multiprecision. Both parser and bytecode may run in threads. The usage of ATMSP is most simple - just include a single header in your own code and go. Reasonably experienced coders may implement other base-types like bool, SSE2, rationals or bigint's with a few changes. ...

Lightweight modelling program in which you can create, try and adjust your control (not only) system. Kernel of this program is MBricks - cross-platform collection of bricks. Created in Math Bricks system can be implemented in one *.h file.

FFFF is the fastest Win32/OSX/Linux/IRIX Mandelbrot generator. Features OpenGL, realtime zoom, SSE/AltiVec QuadPixel, SSE2/3DNow! DualPixel calc, FPU per pixel calc, GPU asm (Fragment/Vertex) calc, multiprocessor support, and benchmarking. Opt asm code!

neuralnetgen is intended to be a universal neural net generator that receives a neural net description (on Neural Net Description Language, also developed on this project) and generates ANSI C code of a library that implements it.

The Random Bit Generator Test Suite will take in large blocks of binary data and attempt to tell the user what is not random about them. Code developers, mathematicians and statisticans welcome to help.