chomsky

(★ 9)

Port https://github.com/madvorak/grammars/ to Lean 4

chomsky 최신버젼 다운로드

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

오늘의 추천 프로젝트

superset ★ 74,352

Apache Superset은 데이터 시각화 및 데이터 탐색 플랫폼입니다.

Python
vllm ★ 89,633

LLM을 위한 처리량이 높고 메모리 효율적인 추론 및 서빙 엔진

Python
hugo ★ 89,481

웹사이트 구축을 위한 세계에서 가장 빠른 프레임워크입니다.

Go
markitdown ★ 175,168

파일 및 오피스 문서를 Markdown으로 변환하는 Python 도구입니다.

Python
kubernetes ★ 124,757

프로덕션급 컨테이너 스케줄링 및 관리

Go
fzf ★ 82,603

:cherry_blossom: A command-line fuzzy finder

Go
// repository documentation