datalog

(★ 12)

A datalog prover, written in haskell.

datalog Latest Version Download

Download Latest Version (.zip)

Today's picks

create-react-app ★ 103,294

Set up a modern web app by running one command.

JavaScript
clean-code-javascript ★ 94,761

Clean Code concepts adapted for JavaScript

JavaScript
vue ★ 210,224

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

TypeScript
clash-verge-rev ★ 138,197

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailor

TypeScript
claude-mem ★ 90,896

Persistent Context Across Sessions for Every Agent – Captures everything your agent does

JavaScript
tech-interview-handbook ★ 141,903

Curated coding interview preparation materials for busy software engineers

TypeScript
// repository documentation