Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…

Inference Llama 2 in one file of pure C

Simplifying reinforcement learning for complex game environments

Common libraries and data structures for C.

A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.

ABC: System for Sequential Logic Synthesis and Formal Verification

Temporal Tables PostgreSQL Extension

Code for the cross platform, single source, OpenDTrace implementation

A compact, efficient Prolog interpreter written in plain-old C.

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

In this repository, we deal with the task of implementing a small library of persistent data structures in C. A persistent data structure is a data structure that always preserves the previous vers…

Use BDDs and SDDs to count the number of solutions to a planning problem

Evrostos: The rLTL Verifier

Collection of utilities that fit in one source file