Block or Report
Block or report MatthiasNickles
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
PC-BASIC - A free, cross-platform emulator for the GW-BASIC family of interpreters
Optimally allocate poker chips using constrained, nonlinear optimization
A massively parallel, high-level programming language
React draggable component
A Blazing Fast AI Gateway. Route to 200+ LLMs with 1 fast & friendly API.
utilities for decoding deep representations (like sentence embeddings) back to text
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Scalable Neural-Probabilistic Answer Set Programming
Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
A library to generate LaTeX expression from Python code.
Stringify a Javascript JSON object, and actually handle Maps and Sets
Seamlessly integrate LLMs into scikit-learn.
Extended pickling support for Python objects
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
Fast, small color manipulation and conversion for JavaScript
Differentiable bitonic sorting
A draggable and resizable grid layout with responsive breakpoints, for React.
A new markup-based typesetting system that is powerful and easy to learn.