Pinned Repositories
lmql
A language for constraint-guided and efficient LLM programming.
agentdojo
A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.
ast
Best-README-Template
An awesome README template to jumpstart your projects!
datasets
dp-lang-prerelease
dp3t-app-ios-ch
This is a COVID-19 tracing client using the DP3T iOS SDK.
dropcode
quantifier-analysis
An analysis tool for quantifier instantiation behaviour of E-Matching based SMT solvers.
lbeurerkellner's Repositories
lbeurerkellner/agentdojo
A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.
lbeurerkellner/Best-README-Template
An awesome README template to jumpstart your projects!
lbeurerkellner/quantifier-analysis
An analysis tool for quantifier instantiation behaviour of E-Matching based SMT solvers.
lbeurerkellner/ast
lbeurerkellner/datasets
lbeurerkellner/dp-lang-prerelease
lbeurerkellner/dp3t-app-ios-ch
This is a COVID-19 tracing client using the DP3T iOS SDK.
lbeurerkellner/dropcode
lbeurerkellner/gpt3-tokenizer
Encoder and decoder for GPT3
lbeurerkellner/green-gold-dachshund-web
lbeurerkellner/heroku-buildpack-d
Heroku Buildpack for the D Programming Language
lbeurerkellner/lat
lbeurerkellner/macdown
Open source Markdown editor for macOS.
lbeurerkellner/n4js
Personal fork for contributing to the main repo.
lbeurerkellner/oomph-cross-platform
lbeurerkellner/openai-cookbook
Examples and guides for using the OpenAI API
lbeurerkellner/rdt-tutorial
lbeurerkellner/RoundTripMigrations
Supplementary Material for the paper Towards Versioned Service APIs and Round-Trip Migration of Data Model Instances
lbeurerkellner/savingjarpage
lbeurerkellner/transformers
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
lbeurerkellner/ttc2020
lbeurerkellner/util
lbeurerkellner/vibes-sonos-redirect
lbeurerkellner/vscode
Visual Studio Code
lbeurerkellner/zenodo-test