πŸ“ˆ GH Trending Explorer 🎲 Surprise me

Search: prolog Β· clear

EvgSkv / logica

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

β˜… 2.1k Jupyter Notebook 6d ago
rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

β˜… 2.0k Rust 8d ago
planety / prologue

Powerful and flexible web framework written in Nim

β˜… 1.4k Nim πŸ”₯ 1mo ago
korginc / logue-sdk

This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.

β˜… 1.1k C today