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...

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.