Search Results for "text generator"

Generate large text files with dummy data (i.e. for performance testing an app that needs to read a file). This is a console app. It allows to generate large files (you can specify the size in megabytes). There is a template which you can set to define how a single line should look like, e.g. you can make a CSV file from it. This can contain random words, random numbers and sequential numbers. It has a dictionary of English words which you can replace with your own set. You can...

...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. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines.

libCIGI (library for Common Image Generator Interface) is a lightweight header only library that provides interfaces for communication between CIGI hosts and image generators. Currently versions 3.0, 3.2 and 3.3 are supported as well as support for the *draft* V4.0 CIGI standard. Additional functionality to the base packet interfaces is provided through external classes so that to the packet headers have no further dependencies.

For comparative plus/minus spreadsheet data, Coulson Plot Generator application creates a multiple pie diagram, for a rapid visual comparison of subunit occupancy across a range of entities. Numbers of pies, segments, labels and colours are customisable. Creates an editable PDF from a comma separated text file. Now with zoom capability and more memory, for larger datasets. Save images in several formats including SVG.