Skip to content
View joyboy67's full-sized avatar

Block or report joyboy67

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

ai for jq

Python 33 1 Updated Sep 20, 2024

Ruby wrapper for Airtable, your personal database

Ruby 296 58 Updated Sep 18, 2023

Airtable javascript client

JavaScript 1,978 403 Updated Aug 1, 2024
Go 69 Updated Sep 20, 2024

Python support for Flipper Zero

C 56 2 Updated Sep 8, 2024

LLaMA-Omni is a low-latency and high-quality end-to-end speech interaction model built upon Llama-3.1-8B-Instruct, aiming to achieve speech capabilities at the GPT-4o level.

Python 1,671 80 Updated Sep 12, 2024

A shell🐚 by the beach🏖️!

Rust 938 20 Updated Sep 7, 2024

Access a database of word frequencies, in various natural languages.

Python 1,185 78 Updated Sep 19, 2024

A set of bindings for the GNOME libraries to use from Ruby.

Ruby 382 98 Updated Sep 19, 2024
Python 3,255 203 Updated Sep 20, 2024

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…

OCaml 4,793 640 Updated Sep 20, 2024

A Lightweight Electron App Container

Rust 495 7 Updated Sep 20, 2024

GraphQL-style Array.select() and Array.where() for javascript

JavaScript 200 9 Updated Sep 18, 2024

A Ruby DSL to interface with the Raspberry Pi GPIO.

Ruby 18 3 Updated Oct 23, 2019

Ruby conversion of RPi.GPIO Python module

C 217 32 Updated Nov 28, 2021

🔌 Simple & light interface to interact with Raspberry Pi GPIO pins

Ruby 14 4 Updated Jun 22, 2023

HTTP server toolkit

Ruby 266 92 Updated Sep 19, 2024

Native WebRTC uses v4l2 hardware h264 and software openh264 encoder for live streaming on Raspberry Pi.

C++ 657 22 Updated Sep 19, 2024

Writing an OS in Rust

HTML 15,498 1,063 Updated Aug 26, 2024

Specification for Carrot Addressing Protocol

Python 4 Updated Sep 18, 2024

A Lisp interpreter written fully in rust macros.

Rust 246 2 Updated Sep 14, 2024

The Haskell Tool Stack

Haskell 3,979 843 Updated Sep 7, 2024
Haskell 4 Updated Mar 1, 2023

The Scala 3 compiler, also known as Dotty.

Scala 5,809 1,047 Updated Sep 20, 2024

Apache Storm

Java 6,590 4,076 Updated Sep 20, 2024

Moved to Codeberg; this is a convenience mirror

Clojure 7,293 1,605 Updated Sep 16, 2024

Command Line client for Scalingo PaaS

Go 129 24 Updated Sep 17, 2024

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

C 10,842 840 Updated Sep 17, 2024

Monkey HTTP Server

C 631 174 Updated Sep 4, 2024

Graphs for Everyone

Java 13,144 2,371 Updated Sep 3, 2024
Next