Skip to content
View awto's full-sized avatar
53 followers · 14 following

Block or report awto

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

Stars

10 stars written in C
Clear filter

sraoss / pg_ivm

IVM (Incremental View Maintenance) implementation as a PostgreSQL extension

C 1,398 47 Updated Mar 31, 2026

aerospike / aerospike-server

Aerospike Database Server – flash-optimized, in-memory, nosql database

C 1,329 199 Updated Mar 16, 2026

apache / cloudberry

One advanced and mature open-source MPP (Massively Parallel Processing) database. Open source alternative to Greenplum Database.

C 1,199 206 Updated Apr 6, 2026

seahorn / clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

C 287 40 Updated Apr 21, 2024

koka-lang / libhandler

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

C 216 18 Updated Jul 28, 2020

teyjus / teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog

C 173 22 Updated Apr 21, 2024

sraoss / pgsql-ivm

IVM (Incremental View Maintenance) development for PostgreSQL

C 133 11 Updated Jul 11, 2024

koka-lang / libmprompt

Robust multi-prompt delimited control and effect handlers in C/C++

C 133 17 Updated Mar 24, 2026

open-gpdb / gpdb

open-gpdb - opensource fork of greenplum database

C 56 18 Updated Apr 3, 2026

GJDuck / SMCHR

SMCHR - Satisfiability Modulo Constraint Handling Rules

C 12 Updated Jul 19, 2018