Search Results for "radius server code"

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. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. ...

* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive...

Aleph One is a highly sophisticated program for generating fractals. Some major features are: A built-in expression generator, 32-bit colouring schemes for the fractals, multi-threaded and multi-server rendering! WOW! And lots, lots more... The source code has moved to GitLab: https://gitlab.com/jmmcg/alephone

MATLAB code that generates all figures in [Almquist and Dunham, 2020, https://doi.org/10.1016/j.jcp.2020.109294 ]. The paper considers narrow-stencil summation-by-parts finite difference methods and derives new penalty terms for boundary and interface conditions. The new penalty terms are significantly less stiff than the previous state-of-the-art method on curvilinear grids. On highly skewed grids, there may be an order of magnitude or more difference in the time-step restriction.

Quaternion conversion and visualization program for Windows. Includes 3D OpenGl graphics, real-time quaternion file playback, and a server to receive and display quaternion data from remote computers via TCP. Also displays Euler angles and DCM.

A Tiny Mathematical Speed Parser ATMSP is a portable C++ parser for mathematical expressions like "sin(x)+y^2" e.g. These may contain arbitrary numbers of functions, variables and constants. Major design goal was minimalistic size and maximum speed. Tiny 320 code-lines offer a parser plus bytecode-generator, 26 mathematical functions and 17 supported base-types including complex and arbitrary MPFR-multiprecision. Both parser and bytecode may run in threads. The usage of ATMSP is...

This material enables IBM SPSS Statistics users to run code written in the R language inside Statistics. Additional free items for R in Statistics and other materials are available from the SPSS Community at www.ibm.com/developerworks/spssdevcentral

GeoGebra is free and multi-platform dynamic mathematics software for learning and teaching geometry, algebra, statistics, and calculus. Download the free software at http://www.geogebra.org. Find the source code at http://www.geogebra.org/trac

The DUNS (Diagonalized Upwind Navier-Stokes)code is a 2D/3D, structured, multi-block, multi-species,reacting, steady/unsteady, Navier Stokes fluid dynamics code with q-omega turbulence model. It currently uses a diagonalized ADI procedure with upwind diff

The goal of Operation Project X is to crack the 2048-bit RSA private encryption key Microsoft uses to sign Xbox media, by using distributed computing. This key could be used by Xbox owners to run homebrew code on their machines.

XlsToFormula fits a scenario, in financial institutions, where xls files are maintained by financial departments, then comes an software application that needs to make use of that (usually large) xls file. Running Excel on the server side is not a feasible solution. Even Office Web Components is not that efficient handling large files. The solution? XlsToFormula; light, fast and running executable.