DEEPSEEK has emerged with the quiet force of a tidal shift, unsettling an Artificial Intelligence landscape long dominated by western giants. In just two years, this upstart has positioned itself as a ...
General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
A variety of utility cogs and fun cogs including Hockey information from the NHL, badge creation from discord user information, starboard for use on Redbot, twitch follow notifications and more.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results