Ever had a bunch of ASCII data that you would like to have a quick look at in frequency domain, but don’t want to fire up some bulky analysis software package just for that? Well, I have… So I wrote this tiny tool. It is based on fftw (www.fftw.org) and boost’s program options (boost.org). cli-fft […]
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science. If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot […]
CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 102 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC […]
HistoryCal is a practical calculator designed to work with historical dates and calendars. The calculator will allow you to work with many different world calendar schemes and calculate ranges and ages based on these calendars. The calculator also has a script language that allows you to create variations of the built-in calendars: calendars that shift […]
This library has complementary features to the “cmath” library. Here we present functions for trigonometric calculations (cot, sec, csc, acot, asec, acsc) and hyperbolic (coth, sech, csch, acoth, asech, acsch) and exponential (nthrt) calculations and more. The results are presented in radians. For results in degrees multiply 180/M_PI by radians or use function torad. For […]
CUDALucas is a program implementing the Lucas-Lehmer primality test for Mersenne numbers using the Fast Fourier Transform implemented by nVidia’s cuFFT library. You need a CUDA-capable nVidia card with compute compatibility >= 1.3. The program is run from the command line, however it can be configured without using a terminal. See the Wiki for more […]
Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions. Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, […]
Simple and fast in use scientific calculator. More details in README. It’s not that long. SolarWinds® Log & Event Manager (LEM) delivers comprehensive Security Information and Event Management (SIEM) capabilities in a highly affordable, easy-to-use, and quick-to-deploy virtual appliance. LEM provides the visibility, security, and control that IT professionals need to alert on and respond […]
Arageli is a C++ library for computations in arithmetic, algebra, geometry, linear and integer linear programming. Arageli provides routines and classes that support precise, i.e. symbolic or algebraic, computations. Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid […]
ExRandom is a small header-only C++11 library for exact sampling from the normal, exponential, and discrete normal distributions (provided that the underlying generator is perfect). This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257. […]