Search Results for "llama-cpp-static"

Develop an experimental framework for simulated multiplayer (model) railroads. It could be based on the VRML/X3D standard and it could use internal scripting with ECMAScript and MU systems that provide network sensor interfaces. Project Homepage: http://simulrr.sourceforge.net The SRR Framework has been used by the SrrTrains v0.01 project Demo 2012: https://www.youtube.com/watch?v=bHBwXmMfF1c Home of SrrTrains: https://lc-soc-lc.at/host

...Version without WebGL, and just as one file (+ include examples in text file): https://sourceforge.net/projects/karel-3d/ C++ version: https://sourceforge.net/projects/karel-3d-cpp/

mywebglflight chung is a online 3D webgl flight / car simulator with shaders written in HTML5 and javascript . You can also fly to any place around the world with realtime google static maps earth satellite images , buildings with real lat-lng and monuments. Fly too over africa with horses, zebras, elephants, girafes, antilopes or shoot panzer tanks and have dogfight with war aircrafts or ships.

...Use the arrow keys to move or select one of the presets locations. recreate any real roads + buildings , houses, places in the world in realtime .mixed with google static maps satellite ground images, water terrain detection , srtm terrain heightmaps, trees, lamps, bridges and webglcarsimheight a small 3D driving car / foot / flight / sailship simulation game in webgl with shadows. drive or fly on millions kilometers of roads and thousands towns all over the world.

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.