Lists (1)
Stars
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
Examples and guides for using the OpenAI API
A list of totally open alternatives to ChatGPT
Making large AI models cheaper, faster and more accessible
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A program for querying and modifying information in a datalog-like format backed by SQLite.
UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
A GraphQL client that lets you forget about GraphQL.
high-performance graph database for real-time use cases
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.
A Collaborative Recipe Keeper, Meal Planner, and Shopping List Organizer in PWA form.
A static analysis tool for securing Go code
A vulnerability scanner for container images and filesystems
A reverse proxy that provides authentication with Google, Azure, OpenID Connect and many more identity providers.
Pomerium is an identity and context-aware access proxy.
TypeDB: the power of programming, in your database
🔒 Memorable site for testing clients against bad SSL configs.
A utility to examine and validate certificates in a variety of formats
A fork and successor of the Sulley Fuzzing Framework
Apereo CAS - Identity & Single Sign On for all earthlings and beyond.
Getting a handle on container security
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
Dependency-Track is an intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain.