Arbitrary-precision CRC calculator and algorithm finder
A real time inference engine for temporal logical specifications
minimal benchmark code for Counting Set Bits (ones) in an Integer
Algorithms and data structures for golang
Mixed Integer Linear Programming (MILP) solver.
Generate and solve Travelling Salesman Problem tasks
Pure-python binary fixed-point arithmetic library
Programm for test BinMatrix, a class for manage binary matrices.
command line sort utility