The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

Google Coding Competitions problem archive

H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server

FTPクライアントソフトウェアです。

The math library of Lean 4

Server to host lean games.

Official electron build of draw.io

Lean 4 programming language and theorem prover

A reference implementation of GraphQL for JavaScript

The PHP Interpreter

TLS/SSL and crypto library

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

The official Vim repository

Secure and fast microVMs for serverless computing.

Easily run your Compose application to the cloud with compose-cli

Reference library for parsing and loading Compose YAML files

MIME mail encoding and decoding package for Go

React-specific linting rules for ESLint

Zstandard - Fast real-time compression algorithm

Simple, efficient background processing for Ruby

For use with React PropTypes. Will error on any prop not explicitly specified.

Cloudflare Tunnel client (formerly Argo Tunnel)

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

The problem data (Test case generator, judge's solution, task, ...) of Library Checker

Flipper Zero firmware source code

Python compiler

Fast JSON parser for java projects

A data-driven UICollectionView framework for building fast and flexible lists.

A secure embedded operating system for microcontrollers

Go client for Kubernetes.