Repository Index

Android client for EOS.IO

A formalization of geometry in Coq based on Tarski's axiom system

• formalization
• coq
• geometry
• tarski-axiom

Inspired by A Dark Room, A Dark Forest is an incremental experimental minimalistic idle game project.

• clicker-game
• desktop-app
• godot
• godot-engine

Ruby GraphQL Client for Humans

A CLI that organize and manage your files using AI

Isomorphic JavaScript DDP client

A notch-style island for GNOME that keeps your day one glance away: music with synced lyrics, notifications, calendar, focus timer, tasks, screen time, a clipboard shelf and an AI assistant that installs and fixes things. In black or glass, and light on your system

• clipboard-manager
• gnome
• gnome-shell-extension
• linux

Dnsruby is a feature-complete DNS(SEC) client for Ruby, as used by many of the world's largest DNS registries and the OpenDNSSEC project

⚡️ A fully-featured and blazing-fast Swift API client to interact with Algolia.

• algolia
• search
• swift
• ios

Alder is a custom Android TV client built on Stremio. Everything you already have, in a viewing experience made for the big screen.

Substrate RPC client for go aka GSRPC

• golang
• substrate
• scale-codec
• blockchain

XMPP client for macOS based on TigaseSwift XMPP library

• xmpp
• client
• swift
• macos

Simpliest Fluent REST client for .NET

• httpclient
• csharp
• csharp-library
• rest-client

A feature rich idiomatic Clojure client for the Neo4J REST API

• clojure
• neo4j-server
• cypher
• clojurewerkz

Library to help Flash, Flex and ActionScript clients connect to Socket.IO servers.

A performant, and portable jq wrapper to facilitate the consumption and output of formats other than JSON; using jq filters to transform the data.

• crystal
• json
• xml
• yaml

Open platform to manage and share standardized clinical data, designed by @ppazos at CaboLabs Health Informatics.

• clinical-data
• openehr-standard
• ehr
• cdr

JavaScript client for Deutsche Bahn public transport APIs.

Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.

• fabric
• horizon
• minecraft
• neoforge

Node.js client for the Aerospike database

• aerospike
• nodejs
• nosql
• database-driver

A set of F# Type Providers for statically typed access to MS SQL database

• f-sharp
• typeprovider
• sql
• sqlserver

A lightweight, efficient Ruby gem for interacting with Whatsapp Cloud API.

• ruby
• ruby-gem
• whatsapp
• whatsapp-api

🤯 a new, powerful way to do bash scripts

• bash
• cli
• nix

TranslatedA relay API jailbreak project written in Rust, supporting the Responses / Chat Completions / Anthropic Messages APIs, and supporting most mainstream models such as ChatGPT/Claude/Grok/Gemini/Deepseek/Glm/Kimi