datalog

(★ 12)

A datalog prover, written in haskell.

datalog 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

awesome-llm-apps ★ 132,871

100개 이상의 AI Agents, Agent Skills 및 RAG Apps - 무료 오픈소스.

Python
uv ★ 88,790

Rust로 작성된 극도로 빠른 Python 패키지 및 프로젝트 관리자입니다.

Rust
openai-cookbook ★ 75,261

OpenAI API 사용을 위한 예제 및 가이드

Jupyter Notebook
react ★ 247,300

웹 및 네이티브 사용자 인터페이스를 만들기 위한 라이브러리입니다.

JavaScript
storybook ★ 90,858

Storybook은 독립된 환경에서 UI 컴포넌트를 빌드, 문서화, 테스트하기 위한 업계 표준 워크숍입니다.

TypeScript
angular ★ 101,020

확신을 가지고 웹 앱을 배포하세요 🚀

TypeScript
// repository documentation