Search Results for "llama-cpp-static"

Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how...

Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics...

The Missing Semester is a course and repository that teaches the engineering skills often skipped in traditional computer science curricula: command-line fluency, shell scripting, editors, version control, debugging, data wrangling, and automation. It includes lecture notes, exercises, and sample solutions that encourage hands-on practice rather than passive reading. The curriculum demystifies tools like bash, vim, git, and make, showing how to combine them into efficient workflows that...

...PPView can be used to import Abaqus inp file, view the model defined in the PhiPsi keywords file (*.kpp), edit PhiPsi keywords file, perform a PhiPsi simulation, and view the simulation result files generated by PhiPsi. PPView contains the latest executable program of PhiPsi. Features of PhiPsi: ○ Supported analysis type: 2D, 3D static analysis; 2D, 3D hydraulic fracturing analysis; 2D, 3D dynamic analysis; and 2D field problems analysis. ○ Support as many as 1000 fractures, voids and inclusions. ○ Intersection of 2D and 3D fractures, intersection of fracture and voids or inclusion. ○ Keywords file support with parameter definition and four operations (+, -, *, and /)...

...Additional files (e.g., time series files) and start values for exported variables can be specified. Currently, two types of simulations are supported: In quasi-static steady-state simulations a power system’s evolution with respect to time is captured by a series of load flow snapshots. RMS simulations allow to calculate the time-dependent dynamics of electromechanical models, including control devices (new in version v0.6).

SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses.

This is a free program for solving linear 2D framed structures under static loading and calculating the mode shapes. It is coupled with an easy-to-use GUI that provides the possibility to design the structure very fast. It calculates reaction forces, diagrams of axial and shear forces, as well as, diagrams of bending moments. Moreover, it calculates the mode shapes of the structure using various methods and it will be cabable of performing dynamic analysis soon.

Syn Flood Attacks SYNFlood with static source port SYNFlood with random source port SYNFlood with static source ip address SYNFlood with random source address SynFlood with fragmented packets ACK Flood Attacks ACK Flood with static source port ACK Flood with random source port ACK Flood with static source ip address ACK Flood with random source address ACK Flood with fragmented packets FIN Flood Attacks FIN Flood with static source port FIN Flood with random source port FIN Flood with static source ip address FIN Flood with random source address FIN Flood with fragmented packets UDP Flood Attacs Static source port udp flood UDP flood with random source port UDP Flood with static source ip address UDP Flood with random source address UDP Flood with fragmented packets ICMP Flood ICMP Flood with all options random(source ip, icmp type, code) HTTP Flood ... ...

Basic 3D structural analysis in python. GUI allows building simple 3D shapes, applying static loads and monitoring dynamic load on beams. Based on OpenGL and ODE.

Feedisto is your personal newspaper. Your newspaper is collocted from rss feeds, parsed by a bayesian filter to rate its relevance and served as a static html page or on a webserver to train the filter. Writing plugins is very easy.