Search Results for "coding"

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.

LabPlot is a FREE, open source and cross-platform Data Visualization and Analysis software accessible to everyone.

MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack

This program was written to dimonstrate errors in transmission for a presentation on Claude Shannon's Noisy Channel Coding Theorem. It takes an input file, the probability of a bit being flipped, and, if specified, the size of the header of the file. The program was intended to take monochrome bitmap files as input, so that each bit refers to a pixel in the image and thus, it would be easy to see errors in the output file, as some of the pixels would be flipped; however, it will work on any input file.