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.

One more lightweight neural network in C.

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.

SL is a suite of C++ template classes that support geometric computation (specifically adapted to OpenGL). It includes many different kind of algorithms (linear algebra methods, coding/decoding tecniques, generalized data structures, utilities).

libit provides easy to use yet efficient tools for C for signal processing, coding, or scientific code in general. It includes basic vector, matrix and function types, some common source and channel coding tools such as quantization, entropy coding, etc.

Aricom is a file compressor. It is based on arithmetic coding compression. Just a proof of concept of the implementation of a statistical compressor. Aimple Java GUI interface provided. Best efficiency than huffman compressor. Entropy and information

Numerically estimate an efficiency of code construction algorithms. Randomly generate n binary words of length m with minimum Hamming distance d and create a prefix code (= retrieval tree) from them. Based on PhD work.