Skip to content
View vafleite's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report vafleite

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
Showing results

An intuitive spreadsheet-like interface that lets users of all technical skill levels view, edit, query, and collaborate on Postgres data directly—100% open source and self hosted, with native Post…

Svelte 3,217 349 Updated Jan 30, 2025

A cross-platform context-aware key remapper.

C++ 622 29 Updated Jan 28, 2025

Software Distribution Platform - Distr is the easiest way to distribute enterprise software to customer-controlled or shared-responsibility environments.

Go 133 4 Updated Jan 30, 2025

iOS and macOS Decompiler

Java 1,375 45 Updated Jan 26, 2025

Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.

Scheme 25 4 Updated May 14, 2024

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

C 3,436 180 Updated Jan 27, 2025

Janus-Series: Unified Multimodal Understanding and Generation Models

Python 12,704 1,520 Updated Jan 28, 2025

Powerful expense tracker that lives in your terminal.

Python 1,227 29 Updated Jan 29, 2025

Simple Directmedia Layer

C 11,214 1,962 Updated Jan 31, 2025

Elementary is a JavaScript library for digital audio signal processing.

C 390 32 Updated Jan 30, 2025

Ferris-on-Air: An experimental Wi-Fi stack for rust on the ESP32.

Rust 133 2 Updated Jan 5, 2025

Build your own 'AirTags' 🏷 today! Framework for tracking personal Bluetooth devices via Apple's massive Find My network.

Swift 10,492 514 Updated Jul 9, 2024

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…

CSS 1,433 297 Updated Jan 30, 2025

A package build system for Termux.

Shell 13,713 3,189 Updated Jan 31, 2025

Termux - a terminal emulator application for Android OS extendible by variety of packages.

Java 38,491 4,078 Updated Jan 24, 2025

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Jupyter Notebook 1,941 99 Updated Jan 24, 2025

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Rust 3,506 112 Updated Dec 4, 2024

Apache Flink

Java 24,458 13,488 Updated Jan 30, 2025

A very fast linker for Linux

Rust 1,627 34 Updated Jan 31, 2025

The Flix Programming Language

Scala 2,215 158 Updated Jan 30, 2025

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

C++ 952 211 Updated Jan 27, 2025

A fast, immutable, distributed & compositional Datalog engine for everyone.

Clojure 1,647 97 Updated Dec 30, 2024

An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

Clojure 2,607 172 Updated Jan 30, 2025

TerminusDB is a distributed database with a collaboration model

Prolog 2,834 112 Updated Jan 30, 2025

A fast in-memory rule engine

Rust 111 8 Updated Jan 30, 2025
Go 1,094 37 Updated Jan 28, 2025

Datalog compiler embedded in Rust as a procedural macro

Rust 467 16 Updated Mar 5, 2024

Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs

JavaScript 4,199 195 Updated Jun 22, 2024

AuthPass - Password Manager based on Flutter for all platforms. Keepass 2.x (kdbx 3.x) compatible.

Dart 2,351 260 Updated Jan 13, 2025

The official Python SDK for Model Context Protocol servers and clients

Python 1,571 161 Updated Jan 30, 2025
Next