talk-2012-folds-and-unfolds

(★ 12)

Talk on folds & unfolds (and combinations) for general algebraic data types

talk-2012-folds-and-unfolds 최신버젼 다운로드

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

오늘의 추천 프로젝트

vue-element-admin ★ 90,198

:tada: A magical vue admin

Vue
puppeteer ★ 95,464

Chrome 및 Firefox를 위한 JavaScript API

TypeScript
PaddleOCR ★ 87,742

PDF이나 이미지 문서를 AI를 위한 구조화된 데이터로 변환하세요. 이미지/PDF와 LLM 사이의 간극을 메워주는 강력하고 경량화된 OCR toolkit입니다.

Python
firecrawl ★ 168,136

웹을 대규모로 검색, 스크랩하고 상호작용하기 위한 Context API입니다. 🔥

TypeScript
DeepSeek-R1 ★ 92,027

본 저장소는 사전 학습(SFT) 단계 없이 대규모 강화학습(RL)을 통해 추론 능력을 극대화한 차세대 추론 모델인 DeepSeek-R1-Zero와 DeepSeek
union ★ 73,854

검열 저항성, 극도로 높은 보안성, 그리고 탈중앙화 금융(DeFi)에서의 활용을 위해 설계된 신뢰 최소화 영지식 브리징 프로토콜입니다.

Rust
// repository documentation