Skip to content
View sgt101's full-sized avatar

Block or report sgt101

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Framework and Language for Neurosymbolic Programming.

Rust 505 34 Updated Jun 26, 2026

High-speed Large Language Model Serving for Local Deployment

C++ 9,722 592 Updated May 11, 2026
Python 50 10 Updated Apr 25, 2024

Cosette is an automated SQL solver.

Lean 686 57 Updated Dec 18, 2024

Greenlight is an open-source client for xCloud and Xbox home streaming made in Typescript.

TypeScript 2,840 168 Updated Aug 17, 2026

tensorflow lite for buildroot. Now libts-core/libts-lite and some test.cc are built.

Makefile 7 1 Updated Nov 16, 2018

An open source python library for automated feature engineering

Python 7,665 914 Updated Jul 27, 2026

A distributed approximate nearest neighborhood search (ANN) library which provides a high quality vector index build, search and distributed online serving toolkits for large scale vector search sc…

C++ 5,011 620 Updated Aug 13, 2026

Central location for a KU Artificial Intelligence project. Creating an intelligent agent for traversal in Blocks World n, stored in a Neo4J database.

Python 4 1 Updated May 2, 2014

Natural Language Inference Dataset Generation

Python 29 10 Updated Jul 21, 2016

R Shiny dashboard for various performance indicators for Hadoop/YARN

Shell 1 Updated Mar 23, 2017

Image-to-image translation with conditional adversarial nets

Lua 10,655 1,731 Updated Jun 6, 2021

Keshif - Data Made Explorable (Prototype)

JavaScript 454 121 Updated Aug 22, 2017