evalFromToAbsMachines

(★ 8)

A Functional Correspondence between Evaluators and Abstract Machines

evalFromToAbsMachines 최신버젼 다운로드

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

오늘의 추천 프로젝트

gpt4all ★ 77,396

GPT4All: 모든 기기에서 로컬 LLM을 실행하세요. 오픈 소스이며 상업적 이용이 가능합니다.

C++
browser-use ★ 109,987

🌐 웹사이트를 AI 에이전트가 접근할 수 있도록 만드세요. 온라인 작업을 손쉽게 자동화하세요.

Python
PowerToys ★ 137,936

Microsoft PowerToys는 Windows의 생산성과 사용자 지정 기능을 극대화하는 유틸리티 모음입니다.

C
puppeteer ★ 95,481

Chrome 및 Firefox를 위한 JavaScript API

TypeScript
javascript-algorithms ★ 196,529

📝 JavaScript로 구현한 알고리즘과 자료 구조 모음으로, 상세한 설명과 추가 읽기 자료 링크를 제공합니다.

JavaScript
ollama ★ 179,103

Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma 및 기타 모델들을 바로 시작해 보세요.

Go
// repository documentation