arxiv.org/abs/2009.12341v1
Smart systems for Universities powered by Artificial Intelligence have been massively developed to help humans in various tasks. The chatbot concept is not something new in today society which is developing with recent technology. College students or...
github.com/machine/machine.specifications
Machine.Specifications is a Context/Specification framework for .NET that removes language noise and simplifies tests. (⭐ 900)
arxiv.org/abs/0906.3423v1
Developing and maintaining complex, large-scale, product line of highly customized software systems is difficult and costly. Part of the difficulty is due to the need to communicate business knowledge between domain experts and application programm...
arxiv.org/abs/1806.04325v2
Stream constraint programming is a recent addition to the family of constraint programming frameworks, where variable domains are sets of infinite streams over finite alphabets. Previous works showed promising results for its applicability to real-wo...
github.com/SymbioticEDA/riscv-formal
RISC-V Formal Verification Framework (⭐ 624)
github.com/papercss/papercss
The Less Formal CSS Framework (⭐ 4177)
arxiv.org/abs/2201.12305v3
Associative memories are devices storing information that can be fully retrieved given partial disclosure of it. We examine a toy model of associative memory and the ultimate limitations it is subjected to within the framework of general probabilisti...
arxiv.org/abs/1904.00280v2
A framework that structures the gravitational memory effects and which is consistent with gravitational electric-magnetic duality is presented. A correspondence is described between memory observables, particular subleading residual gauge transformat...
arxiv.org/abs/2204.13168v2
Storm surge is a major natural hazard in coastal regions, responsible both for significant property damage and loss of life. Accurate, efficient models of storm surge are needed both to assess long-term risk and to guide emergency management decision...
github.com/Jounce/Surge
A Swift library that uses the Accelerate framework to provide high-performance functions for matrix math, digital signal processing, and image manipulation. (⭐ 5304)
arxiv.org/abs/1906.02754v2
Simplified Template Cross Sections (STXS) have been adopted by the LHC experiments as a common framework for Higgs measurements. Their purpose is to reduce the theoretical uncertainties that are directly folded into the measurements as much as possib...
github.com/browserbase/stagehand
The AI Browser Automation Framework (⭐ 21382)
github.com/tariqdaouda/Mariana
The Cutest Deep Learning Framework which is also a wonderful Declarative Language (⭐ 150)
github.com/Tencent/VasSonic
VasSonic is a lightweight and high-performance Hybrid framework developed by tencent VAS team, which is intended to speed up the first screen of websites working on Android and iOS platform. (⭐ 11883)
en.wikipedia.org/wiki/Deadbolt
where a bolt is thrown into the door frame, using a key from either side, to secure the door. [dead link] It is distinct from a spring bolt lock because
en.wikipedia.org/wiki/Trading_curb
frame. When triggered, circuit breakers either stop trading for a small amount of time or close trading early in order to allow accurate information to flow
github.com/tachyon-zcash/ragu
Rust language proof-carrying data framework (⭐ 34)
github.com/huggingface/transformers
? Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training. (⭐ 157527)
github.com/HaskeYE/TestMentoring
Framework for Java learning (⭐ 0)
arxiv.org/abs/2508.18446v1
AlphaFold 3 represents a transformative advancement in computational biology, enhancing protein structure prediction through novel multi-scale transformer architectures, biologically informed cross-attention mechanisms, and geometry-aware optimizatio...