Giovanni Kock Bonetti's starred repositories

Language:C++License:Apache-2.0Stargazers:184Issues:0Issues:0

roc-html

🌐 A library to create HTML in Roc

Language:RocLicense:UPL-1.0Stargazers:11Issues:0Issues:0

hcl

HCL is the HashiCorp configuration language.

Language:GoLicense:MPL-2.0Stargazers:5076Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2740Issues:0Issues:0

idempotency_plug

Plug that makes POST and PATCH requests idempotent

Language:ElixirLicense:MITStargazers:21Issues:0Issues:0

metashade

An experimental GPU shading DSL embedded in Python.

Language:PythonLicense:Apache-2.0Stargazers:50Issues:0Issues:0

parquet-wasm

Rust-based WebAssembly bindings to read and write Apache Parquet data

Language:RustLicense:Apache-2.0Stargazers:448Issues:0Issues:0

searcharray

Full text search in your Pandas dataframe

Language:PythonLicense:Apache-2.0Stargazers:158Issues:0Issues:0

RoboticsAcademy

Learn Robotics with JdeRobot

Language:PythonLicense:GPL-3.0Stargazers:300Issues:0Issues:0

ceph

Ceph is a distributed object, block, and file storage platform

Language:C++License:NOASSERTIONStargazers:13232Issues:0Issues:0

ccextractor

CCExtractor - Official version maintained by the core team

Language:CLicense:GPL-2.0Stargazers:668Issues:0Issues:0

Windrecorder

Windrecorder is a memory search app by records everything on your screen in small size, to let you rewind what you have seen, query through OCR text or image description, and get activity statistics.

Language:PythonLicense:GPL-2.0Stargazers:1282Issues:0Issues:0

roc-ray

Roc graphics and GUI

Language:ZigStargazers:12Issues:0Issues:0

roc-wasm4

Build wasm4 games using Roc

Language:ZigLicense:UPL-1.0Stargazers:38Issues:0Issues:0

purescript-backend-optimizer

Optimizing backend toolkit and modern ECMAScript backend for PureScript

Language:PureScriptLicense:MITStargazers:195Issues:0Issues:0

riot

An actor-model multi-core scheduler for OCaml 5 🐫

Language:OCamlLicense:NOASSERTIONStargazers:430Issues:0Issues:0

mptcp-hello

Simple examples of enabling Multipath TCP with different programming languages

Language:RustStargazers:12Issues:0Issues:0

bite

Disassembler focused on comprehensive rust support.

Language:RustLicense:MITStargazers:738Issues:0Issues:0

Qwen-Audio

The official repo of Qwen-Audio (通义千问-Audio) chat & pretrained large audio language model proposed by Alibaba Cloud.

Language:PythonLicense:NOASSERTIONStargazers:1021Issues:0Issues:0

silero-vad

Silero VAD: pre-trained enterprise-grade Voice Activity Detector

Language:PythonLicense:MITStargazers:2827Issues:0Issues:0

hammer

An Elixir rate-limiter with pluggable backends

Language:ElixirLicense:MITStargazers:700Issues:0Issues:0

inference

A fast, easy-to-use, production-ready inference server for computer vision supporting deployment of many popular model architectures and fine-tuned models.

Language:PythonLicense:NOASSERTIONStargazers:1023Issues:0Issues:0

supervision

We write your reusable computer vision tools. 💜

Language:PythonLicense:MITStargazers:13974Issues:0Issues:0

ortex

ONNX Runtime bindings for Elixir

Language:ElixirLicense:MITStargazers:92Issues:0Issues:0

autodistill

Images to inference with no labeling (use foundation models to train supervised models).

Language:PythonLicense:Apache-2.0Stargazers:1526Issues:0Issues:0

libxev

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + WASI. Available as both a Zig and C API.

Language:ZigLicense:MITStargazers:1547Issues:0Issues:0

elixir-arrays_aja

Provides an `Arrays` implementation for `Aja`'s `Vector` datatype, which is an implementation of a 'Hickey Trie' Vector written in Elixir.

Language:HTMLStargazers:8Issues:0Issues:0

fast-elixir

:dash: Writing Fast Elixir :heart_eyes: -- Collect Common Elixir idioms.

Language:ElixirStargazers:1243Issues:0Issues:0

sabledb

Ultra fast, persistent database supporting Redis API

Language:RustLicense:BSD-3-ClauseStargazers:372Issues:0Issues:0

sqlite

Go SQLite3 driver

Language:CLicense:ISCStargazers:552Issues:0Issues:0