github.com/Tsjerk/Insane
Tsjerk/Insane
INSert membrANE - A simple, versatile tool for building coarse-grained simulation systems (⭐ 81)
arxiv.org/abs/2512.20496v1
Herbrand's Theorem: a short statement and a model-theoretic proof
Herbrand's Theorem is a fundamental result in mathematical logic which provides a reduction of first-order formulas satisfied by a universal class to formulas free of existential quantifiers. In this work, a simpler and self-contained formulation of...
www.bing.com/ck/a?!&&p=333aa277cf5ee15b13abe3938784f2213dca43edfca3ac638eb81bb4d6092575JmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=2705fe1a-cb26-6a8d-0a1f-e908cac06b09&u=a1aHR0cHM6Ly9tYXRoLnN0YWNrZXhjaGFuZ2UuY29tL3F1ZXN0aW9ucy83MTE0OTIvcHJvdmUtdGhhdC10aGUtbWFuaWZvbGQtc29uLWlzLWNvbm5lY3RlZA&ntb=1
Prove that the manifold $SO (n)$ is connected
The question really is that simple: Prove that the manifold $SO (n) \subset GL (n, \mathbb {R})$ is connected. it is very easy to see that the elements of $SO (n ...
arxiv.org/abs/2506.11921v1
Dynamic Grid Trading Strategy: From Zero Expectation to Market Outperformance
We propose a profitable trading strategy for the cryptocurrency market based on grid trading. Starting with an analysis of the expected value of the traditional grid strategy, we show that under simple assumptions, its expected return is essentially...
github.com/iPodLinux-Community/ToeNailClipper
iPodLinux-Community/ToeNailClipper
Simple text-based game for iPodLinux (⭐ 0)
github.com/IBM/knowledge-enabled-textual-entailment
IBM/knowledge-enabled-textual-entailment
Natural Language Inference is fundamental to many Natural Language Processing applications such as semantic search and question answering. The task of NLI has gained significant attention in the recent times due to the release of fairly large scale, challengin…
arxiv.org/abs/q-bio/0702014v2
Stochastic Models for Phylogenetic Trees on Higher-order Taxa
Simple stochastic models for phylogenetic trees on species have been well studied. But much paleontology data concerns time series or trees on higher-order taxa, and any broad picture of relationships between extant groups requires use of higher-or...
github.com/gigaherz/ToolBelt
gigaherz/ToolBelt
A simple mod that adds a belt for carrying tools (⭐ 36)
github.com/wanglin2/mind-map
wanglin2/mind-map
SimpleMindMap（思绪思维导图）：一个强大的Web思维导图。A powerful web mind map. (⭐ 11791)
en.wikipedia.org/wiki/Vision_mixer
Vision mixer - Wikipedia
signals), mixers can also generate a variety of other transitions, from simple dissolves to pattern wipes. Additionally, most vision mixers can perform
github.com/dragino/rpi-lora-tranceiver
dragino/rpi-lora-tranceiver
Simple LoRa Transmit/ Receive library in RPi for LoRa GPS HAT (⭐ 25)
github.com/thoughtbot/shoulda-matchers
thoughtbot/shoulda-matchers
Simple one-liner tests for common Rails functionality (⭐ 3572)
github.com/plexagon/lucius-ltv
plexagon/lucius-ltv
A simple multicohort LTV calculator for subscriptions (⭐ 11)
github.com/livoras/blog
livoras/blog
Too young, too simple. Sometimes, naive. (⭐ 3514)
github.com/dotnet-state-machine/stateless
dotnet-state-machine/stateless
A simple library for creating state machines in C# code (⭐ 6116)
github.com/jquense/yup
jquense/yup
Dead simple Object schema validation (⭐ 23690)
github.com/earlygrey/shapedrawer
earlygrey/shapedrawer
A library for libGDX that draws simple shapes using a batch. (⭐ 202)
github.com/ChenLiu-1996/CitationMap
ChenLiu-1996/CitationMap
A simple pip-installable Python tool to generate your own HTML citation world map from your Google Scholar ID. (⭐ 684)
arxiv.org/abs/2510.15272v1
Bayesian Sequential Modeling of Time-to-Urination for Dynamic ED Triage
Triage tools in routine emergency care are largely static, failing to exploit simple behavioral cues clinicians notice in real time. Here, we developed a Bayesian, sequentially updating framework that integrates incoming cues to produce calibrated, t...
arxiv.org/abs/2302.00651v2
Ngram-LSTM Open Rate Prediction Model (NLORP) and Error_accuracy@C metric: Simpl…
Our generation has seen an exponential increase in digital tools adoption. One of the unique areas where digital tools have made an exponential foray is in the sphere of digital marketing, where goods and services have been extensively promoted throu...