dbpiper

nodejs-docs-samples

Node.js samples for Google Cloud Platform products.

greptimedb-operator

Run GreptimeDB on Kubernetes.

greptimedb

An open-source, cloud-native, unified time series database for metrics, logs and events with SQL/PromQL supported. Available on GreptimeCloud.

RustPython

A Python Interpreter written in Rust

mujoco

Multi-Joint dynamics with Contact. A general purpose physics simulator.

awesome-multi-modal-reinforcement-learning

A curated list of Multi-Modal Reinforcement Learning resources (continually updated)

kibana-plus-web-ext

Pretty print JSON in your Kibana log messages.

chatgpt-vscode

Your best AI pair programmer in VS Code

vscode-neovim

Vim mode for VSCode, powered by Neovim

source-code-pro

Monospaced font family for user interface and coding environments

linux

Linux kernel source tree

apt-cyg

Apt-cyg, an apt-get like tool for Cygwin

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

raspberry-pi-os

Learning operating system development using Linux kernel and Raspberry Pi

os-tutorial

How to create an OS from scratch

coq

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 development of machine-checked proofs.

Coq-HoTT

A Coq library for Homotopy Type Theory

rfcs

This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead

Projects

:page_with_curl: A list of practical projects that anyone can solve in any programming language.

swipl

SWI-Prolog stable releases

appsync-auth-and-unauth

How to allow both authenticated & unauthenticated access to an API

ringrtc

Gibbed.Cryptic

Tools & code for use with Cryptic Studios developed games (Champions Online, Star Trek Online, Neverwinter, etc).

ESRGAN

ECCV18 Workshops - Enhanced SRGAN. Champion PIRM Challenge on Perceptual Super-Resolution. The training codes are in BasicSR.

act

Run your GitHub Actions locally 🚀

98

💿 Web-based Windows 98 desktop recreation █████▓█▓▓▒▓▒▒░▒░░░🗕︎🗗︎🗙︎

codex.academy

Public website for CodeX Academy.

mint-amazon-tagger

Tool for labeling Mint transaction from Amazon purchases

Ligaturizer

Programming Fonts with Ligatures added (& a script to add them to other fonts)

jest-extended

Additional Jest matchers 🃏💪