Search Results for "libhamlib-4"

xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of backward-compatibility problems and improve ecosystem-level tooling for the Lean 4 theorem prover. ...

This collection of tools forms the basis of a pipeline for the complete enumeration of the number of solutions present in a model that maximizes a single objective function.

The Thot toolkit repository has moved to http://daormar.github.io/thot/ Thot is a toolkit for statistical machine translation. The new Thot toolkit includes fully automatic and interactive machine translation, incremental training of statistical models, parallel estimation, ...

That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.

Some scripts for boolean calculation, including a parser. Ternary logic support. Everything is written in Posix Sh.

An SQL handler to interface multiple databases data to the OpeNDAP Hyrax (BES) server. Written in C++, it uses unixODBC to query DB and can be dynamically extended to use proprietary ODBC API driver in many easy ways. It is bundled with scripts to ge

This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.

This is an opensource project for the calculation of the mathematical constant Pi. If you are a mathematician or programer please contribute ideas or code for this project. Non professionals are also welcome to contribute.

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.

The goal of this project is to develop a simulator for the drafts of professional sports leagues.