Search Results for "llama-cpp-static"

...It is designed around coordinated AI roles, including teacher-like and classmate-like agents that can present information, respond in real time, and participate in live educational dialogue. The platform generates multiple learning scenes rather than a single static output, including slides, quizzes, interactive simulations, and project-based activities, which makes it feel closer to a guided lesson than a simple content generator. It also supports whiteboard-style visual explanation and text-to-speech delivery, allowing agents to draw, explain formulas, and speak aloud during instruction. OpenMAIC is built for flexible deployment, with support for direct use through its web experience as well as integration with OpenClaw so classrooms can be generated from messaging platforms such as Slack, Telegram, and Feishu.

Learn Regex The Easy Way is a hands-on, interactive resource for learning regular expressions (regex) in a step-by-step, incremental way. Rather than just being a reference sheet, it is designed to help you build understanding gradually: you start with the basics like literal matching, then advance through character classes, quantifiers, groups, alternation, lookaheads/lookbehinds, and more advanced regex features. Each lesson is accompanied by examples and clear explanations, so learners...

refbase is a web-based bibliographic manager which can import and export references in various formats (including BibTeX, Endnote, MODS XML, and OpenOffice). It can make formatted lists of citations and offers powerful searching, rich metadata, and RSS.

...It provides step-by-step guidance, sample code, explanations, and best practices around routing, handlers, templates, sessions, form handling, file upload, JSON APIs, authentication, and more, intended for learners of Go web development. Code examples for routing, handlers, and HTTP request/response handling. REST API endpoints and JSON marshalling/unmarshalling. File uploads and static file serving.

...The repository combines educational content written in simplified English and Chinese alongside structured markdown pages that cover parts of speech, sentence structure, tenses, clauses, and other core grammar topics, making it useful for both self-study and classroom contexts. It’s published and hosted as a static documentation site using VuePress, which allows learners to browse grammar lessons in a web-friendly format with easy navigation and search capabilities. Contributors within the INet community collaborate to expand and refine content, ensuring that explanations remain practical, up to date, and tailored for developers or learners who benefit from bilingual guidance.

...The goal of the project is to help learners understand complex algorithmic concepts intuitively by showing step-by-step animated explanations instead of relying solely on static code or text. Each animation corresponds to a specific problem and illustrates how data structures and algorithms operate dynamically, making it easier to grasp their underlying logic. The project also includes a curated set of 40 problems from the “Sword Pointing to Offer” series—commonly asked in technical interviews—accompanied by detailed analyses and visual breakdowns. ...

...The library features support for creating, editing and writing dictionaries; dictionary encodings, including UTF-8; Java generics; huge dictionaries; instance dictionaries and static singletone dictionary; Maven and more.

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.

...This makes it ideal for someone learning data analysis or exploratory data visualization for the first time and needing concrete, runnable examples rather than abstract explanations. As the tutorial builds progressively, learners can gradually advance from simple static plots to more complex visualizations, learning how to control figure size, add multiple subplots, adjust plot aesthetics, and handle different data types. Because it is code-first, users can copy, modify, and run the examples on their own datasets, encouraging experimentation and deepening understanding.

Sudoku Solver written in c++/sdl.

This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.

This is a PHP/Mysql tool for managing your homepage, you can create dinamyc and static version of your site.

C++ genetic algorithms library (solving of the NP opnimisation problems). More GA strategies, more useability, more algorithm speed.

A MATLAB toolbox for linear and nonlinear static and dynamic finite element analysis.

WHURLE - Web-based Hierarchical Universal Reactive Learning Environment is an attempt to address the failings of current static, ill conceived learning environments with one that is pedagogically effective, adaptive to learner needs suiting all subjects