kslote1's Stars
facebookresearch/DPR
Dense Passage Retriever - is a set of tools and models for open domain Q&A task.
PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
jakobrunge/tigramite
Tigramite is a python package for causal inference with a focus on time series data. The Tigramite documentation is at
christopheraseidl/livewire-cookie-consent
Display a cookie consent notice and cookie policy in Laravel (Livewire + Alpine.js + Tailwind CSS).
rocapp/ai-rag-chat-evaluator
ycq091044/GOCPT
IJCAI2022: This package provides a generalized online tensor learning tool, which maintains a low-rank CP approximation during the evolution of tensor in different ways.
DurstewitzLab/GTF-shPLRNN
discopy/discopy
The Python toolkit for computing with string diagrams.
AllenInstitute/mouse_connectivity_models
Python package providing mesoscale connectivity models for mouse.
yaglm/yaglm
A python package for penalized generalized linear models that supports fitting and model selection for structured, adaptive and non-convex penalties.
mattecapu/categorical-systems-theory
networkit/networkit
NetworKit is a growing open-source toolkit for large-scale network analysis.
hottbox/hottbox
HOTTBOX: Higher Order Tensors ToolBOX.
hanyoseob/matlab-koopman
Koopman operator
hanyoseob/matlab-DMD
Dynamic Mode Decomposition (DMD)
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
TeamMsgExtractor/msg-extractor
Extracts emails and attachments saved in Microsoft Outlook's .msg files
kslote1/Redheffer_matrix
kslote1/twiki
sympy/sympy
A computer algebra system written in pure Python
apache/tika
The Apache Tika toolkit detects and extracts metadata and text from over a thousand different file types (such as PPT, XLS, and PDF).
Pink-Silver/PyDoom
A port of the game DOOM to the Python scripting language, aiming for maximum flexibility through modding.
micropython/micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems