danieelst's Stars
torvalds/linux
Linux kernel source tree
Significant-Gravitas/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
yt-dlp/yt-dlp
A feature-rich command-line audio/video downloader
langchain-ai/langchain
🦜🔗 Build context-aware reasoning applications
meta-llama/llama
Inference code for Llama models
explosion/spaCy
💫 Industrial-strength Natural Language Processing (NLP) in Python
dmlc/xgboost
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
keepassxreboot/keepassxc
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
state-spaces/mamba
Mamba SSM architecture
Z3Prover/z3
The Z3 Theorem Prover
py-pdf/pypdf
A pure-python PDF library capable of splitting, merging, cropping, and transforming the pages of PDF files
abetlen/llama-cpp-python
Python bindings for llama.cpp
stanfordnlp/stanza
Stanford NLP Python library for tokenization, sentence segmentation, NER, and parsing of many human languages
bitsandbytes-foundation/bitsandbytes
Accessible large language models via k-bit quantization for PyTorch.
cvxpy/cvxpy
A Python-embedded modeling language for convex optimization problems.
python-openxml/python-docx
Create and modify Word documents with Python
thomasahle/sunfish
Sunfish: a Python Chess Engine in 111 lines of code
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
niklasf/python-chess
A chess library for Python, with move generation and validation, PGN parsing and writing, Polyglot opening book reading, Gaviota tablebase probing, Syzygy tablebase probing, and UCI/XBoard engine communication
BNFC/bnfc
BNF Converter
banacorn/agda-mode-vscode
agda-mode on VS Code
GrammaticalFramework/gf-core
Grammatical Framework core: compiler, shell & runtimes
GrammaticalFramework/gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
Felix-Nilsson/gpt-internship
Exploring the use case of LLMs in healthcare, in particular assisting in document retrieval and summarization.
henkejson/analysis-adaptive-parameter-control
Data and analysis for Master Thesis "Automated Parameter Optimization for Search-Based Unit Test Generation"