luxspes

luxspes's Stars

• vthommeret/mathtocode

  Language:JavaScript25226

• khoj-ai/khoj

  Your AI second brain, open and self-hostable. Get answers to your questions, whether they be online or in your own notes. Use online AI models (e.g gpt4) or private, local LLMs (e.g llama3).

  Language:Python12.7k648

• belerico/py_asciimath

  A simple converter from ASCIIMath to LaTeX or MathML and from MathML to LaTeX

  Language:Python4010

• tghanem/PST

  .NET library that supports processing Microsoft PST files written entirely in C#

  Language:C#2912

• All-Hands-AI/OpenHands

  🙌 OpenHands: Code Less, Make More

  Language:Python32.6k3.7k

• uwplse/verdi

  A framework for formally verifying distributed systems implementations in Coq

  Language:Coq58256

• pandas-dev/pandas

  Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

  Language:Python43.4k17.8k

• VerbalExpressions/PythonVerbalExpressions

  Python regular expressions made easy

  Language:Python1.6k109

• ejmichaud/neural-verification

  MI and Formal Verification of NNs on Algorithmic tasks!

  Language:Jupyter Notebook134

• Cvrane/ChartReader

  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.

  Language:Jupyter Notebook9721

• SciML/DiffEqBayes.jl

  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

  Language:Julia12129

• davidedc/Algebrite

  Computer Algebra System in Javascript (Typescript)

  Language:TypeScript95859

• google/mathsteps

  Step by step math solutions for everyone

  Language:JavaScript2.1k275

• mosaicml/llm-foundry

  LLM training code for Databricks foundation models

  Language:Python4k525

• darrenjw/blog

  Code samples associated with my blog posts

  Language:Scala3516

• stripe/rainier

  Bayesian inference in Scala.

  Language:Scala43251

• jmschrei/pomegranate

  Fast, flexible and easy to use probabilistic modelling in Python.

  Language:Python3.4k589

• algorithmsbooks/decisionmaking-code

  All typeset code blocks from the book, Algorithms for Decision Making.

  Language:Julia335

• griffinbholt/decisionmaking-code-py

  Python versions of all typeset code blocks from the book, Algorithms for Decision Making.

  Language:Python336

• DaveVoorhis/Rel

  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.

  Language:Java998

• mar10/wsgidav

  A generic and extendable WebDAV server based on WSGI

  Language:Python973149

• robclewley/pydstool

  PyDSTool main development repo

  Language:Python17165

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python62.9k5.8k

• geongeorge/i-hate-regex

  The code for iHateregex.io 😈 - The Regex Cheat Sheet

  Language:Vue4.5k318

• stan-dev/MathematicaStan

  A Mathematica package to interact with CmdStan

  Language:Mathematica278

• mpmath/mpmath

  Python library for arbitrary-precision floating-point arithmetic

  Language:Python955183

• StephenElston/CSCI-E-83

  Course materials for CSCI E-83

  Language:HTML2620

• EugeneLoy/coq_jupyter

  Jupyter kernel for Coq

  Language:Python937

• coatless-mac/r-macos-clang

  Setup script to create the binary installer for the released clang binaries used to compile R

  Language:Shell582

• yosriady/node-bayes

  :chart_with_upwards_trend: Naive Bayes classifier for Node

  Language:JavaScript141