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.

SmGen is a finite state machine (FSM) generator for Verilog. On the other hand, it is not an FSM entry tool. The input is behavioral Verilog with clock boundaries specifically set by the designer. SmGen unrolls this behavioral code and generates an FSM from it in synthesizable Verilog. Clock boundaries are explicitly provided by the designer so there is good control on the expected timing

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.

Pylero is an open-source Python-based text generator.

The TeX Math Font Generator is a set of programs that can produce a set of TeX math fonts that resemble a given text font. If you want to typeset mathematics with TeX in a special font that you own, then MathGen is what you want.

Radoteur is a basic word generator ; from a list of words, it generates word which \"feel\" the same.