luxspes
Follow
Stars
Python library for converting Python calculations into rendered latex.
Code for the manim-generated scenes used in 3blue1brown videos
Sandwood - A JVM based Java like Probabilistic Programming Language
Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous …
A simple converter from ASCIIMath to LaTeX or MathML and from MathML to LaTeX
.NET library that supports processing Microsoft PST files written entirely in C#
A framework for formally verifying distributed systems implementations in Coq
Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Python regular expressions made easy
MI and Formal Verification of NNs on Algorithmic tasks!
Fully automated end-to-end framework to extract data from bar plots and other figures in scientific research papers using modules such as OpenCV, AWS-Rekognition.
Extension functionality which uses Stan.jl, DynamicHMC.jl, and Turing.jl to estimate the parameters to differential equations and perform Bayesian probabilistic scientific machine learning
Computer Algebra System in Javascript (Typescript)
Step by step math solutions for everyone
LLM training code for Databricks foundation models
Fast, flexible and easy to use probabilistic modelling in Python.
All typeset code blocks from the book, Algorithms for Decision Making.
Python versions of all typeset code blocks from the book, Algorithms for Decision Making.
Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
A generic and extendable WebDAV server based on WSGI
The code for iHateregex.io 😈 - The Regex Cheat Sheet
A Mathematica package to interact with CmdStan
Python library for arbitrary-precision floating-point arithmetic