An introduction to temporal logic and how it can be used to analyze concurrency - Dicklesworthstone/introduction_to_temporal_logic

Diffusion-based markup-to-image generation. Contribute to da03/markup2im development by creating an account on GitHub.

An open source community platform. Contribute to dir-zip/community development by creating an account on GitHub.

Contribute to viraniaman94/sendenv development by creating an account on GitHub.

Sync Storage server in Rust. Contribute to mozilla-services/syncstorage-rs development by creating an account on GitHub.

ALB (Another Load Balancer) is a Kubernetes Gateway powered by OpenResty with years of production experience from Alauda. - alauda/alb

Contribute to apple-oss-distributions/sudo development by creating an account on GitHub.

Stunning status pages, batteries included! Contribute to rajnandan1/kener development by creating an account on GitHub.

Hello, Thanks for your hard work on gh-ost! As I familiarize myself with the way it all works, I noted that foreign keys are explicitly not supported, but that they may be to some extent in the fut...

Emacs configuration for authors who research, write and publish articles, books and websites. - pprevos/emacs-writing-studio

New Benchmark Results

add test results of zilliz_cloud_beta_202401 by @alwayslove2013 in #258

New DB client

feat: add new db pgvecto.rs by @cutecutecat in #242

New features

Import database cli...

Native, cross-platform gRPC test bench. Contribute to namigop/FintX development by creating an account on GitHub.

What's Changed

Release 0.16.2 by @xrelkd in #271
build(deps): bump regex from 1.10.2 to 1.10.3 by @dependabot in #272
build(deps): bump serde_with from 3.4.0 to 3.5.0 by @dependabot in #273
bu...

open-source mobility stack. CarGator has 5 repositories available. Follow their code on GitHub.

InstantID: Zero-shot Identity-Preserving Generation in Seconds 🔥 - instantX-research/InstantID

LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/ - igordejanovic/rustemo

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks. - mlabonne/llm-course

Your open-source LLM evaluation toolkit. Get scores for factual accuracy, context retrieval quality, tonality, and many more to understand the quality of your LLM applications - uptrain-ai/uptrain

🐦 A open blazing-fast simple model gateway for rapid development of production GenAI apps - EinStack/glide

webidx is a client-side search engine for static websites. - GitHub - gbxyz/webidx: webidx is a client-side search engine for static websites.