Skip to content
View jbalint's full-sized avatar

Highlights

  • Pro

Organizations

@apache @logicmoo @SWI-PrologTeamLudumDare32 @FRDCSA @kadekrausdev

Block or report jbalint

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Persistent Storage for SWI-Prolog

Prolog 1 Updated Oct 27, 2025

Field Agent Support Technology - real-time dialog support from hybrid LLM / human team

Perl 1 Updated Mar 13, 2025

A performant contingent planner that we hope to integrate, at least with financial and WOPR planning, until FLUX or ALPProlog contingent planners which can call Prolog code in the search, are finished

Perl 2 Updated Mar 12, 2018

Buzz transcribes and translates audio offline on your personal computer. Powered by OpenAI's Whisper.

Python 18,511 1,362 Updated Mar 29, 2026

OpenMetadata is a unified metadata platform for data discovery, data observability, and data governance powered by a central metadata repository, in-depth column level lineage, and seamless team co…

TypeScript 9,630 1,754 Updated Apr 4, 2026

A client for Language Server Protocol servers

Emacs Lisp 2,495 215 Updated Jan 21, 2026

HRV analysis for emwave database

R 7 3 Updated Nov 19, 2012

ELF file viewer/editor for Windows, Linux and MacOS.

C++ 1,561 132 Updated Apr 4, 2026

Symk is a state-of-the-art classical optimal and top-k planner.

C 44 13 Updated Apr 1, 2026

Extension adding support for optimizer hints in PostgreSQL

C 887 119 Updated Mar 26, 2026

A TUI playground to experiment with jq

Go 2,795 51 Updated Feb 6, 2026

Aqueduct is no longer being maintained. Aqueduct allows you to run LLM and ML workloads on any cloud infrastructure.

Go 519 20 Updated Jun 7, 2023

The core software distribution for the Inform 7 programming language.

C 1,572 91 Updated Apr 4, 2026

Weechat API bindings for Rust

Rust 20 14 Updated Sep 16, 2025

Intermediate bytecode language

C++ 4 Updated Aug 24, 2022

Common rust command-line macros and utilities, to write shell-script like tasks in a clean, natural and rusty way

Rust 1,149 39 Updated Dec 8, 2025

Query MongoDB with up to 3x less code (core is shared from java and js version)

Clojure 14 2 Updated Mar 14, 2024

Don't let the cursor slow you down

TypeScript 1,310 93 Updated Apr 3, 2026

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

Java 12,688 3,558 Updated Apr 4, 2026

Automated mass refactoring of source code.

Java 3,381 515 Updated Apr 4, 2026

a structural diff that understands syntax 🟥🟩

Rust 24,921 461 Updated Mar 25, 2026
JavaScript 7 1 Updated Jul 19, 2021

Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing

Java 254 66 Updated Jan 20, 2021

a Rust implementation of first-order term rewriting systems (TRS)

Rust 29 5 Updated Dec 28, 2021

Effective and scalable data discovery using profiles

Scala 9 Updated Jun 21, 2021

Specification for interoperability of common algebraic structures in JavaScript

JavaScript 10,233 374 Updated Nov 10, 2024

RTEC is an Event Calculus implementation optimised for stream reasoning

Prolog 101 17 Updated Dec 8, 2025

RDF-star specification

HTML 129 22 Updated Jul 4, 2023

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Go 43,595 3,934 Updated Apr 4, 2026

Pattern-defeating quicksort.

C++ 2,482 100 Updated Dec 6, 2023
Next