Cairo is the first Turing-complete language for creating provable programs for general computation.

CASL is an isomorphic authorization JavaScript library which restricts what resources a given user is allowed to access

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

TypeScript-first schema validation with static type inference

The tool to avoid various issues due to inconsistencies and inefficiencies between a database schema and application models.

Detect non-atomic interactions within DB transactions

Alba is a JSON serializer for Ruby, JRuby and TruffleRuby.

dev tools, env vars, task runner

A monitor of resources

Beautiful, Modern & Opinionated Linux

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.

Multi-user anti-filtering panel, with an effortless installation and supporting more than 20 protocols to circumvent filtering plus the telegram proxy.

The Mullvad VPN client app for desktop and mobile

Ink Documentation

React component library for onchain applications - See README for modern alternatives

How to run an Ink Node

Main repository for the Linera protocol

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Russian community translation of the Solidity documentation

macFUSE umbrella repository

A fresh, new GraphQL server designed for Rails applications, emphasizing a natural, Ruby-like DSL.

MJML: the only framework that makes responsive-email easy

System-wide Web3 for macOS, Windows and Linux

An opinionated language server for Ruby

🗜 JavaScript parser, mangler and compressor toolkit for ES6+

Ruby implementation of GraphQL

OpenAI API + Ruby! 🤖❤️ GPT-5 & Realtime WebRTC compatible!

Unofficial ruby binding for tiktoken by way of rust