strangeloop-2013

(★ 11)

Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013

strangeloop-2013 최신버젼 다운로드

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

오늘의 추천 프로젝트

terminal ★ 104,654

새로운 Windows Terminal과 기존 Windows 콘솔 호스트가 모두 한곳에 모여 있습니다!

C++
tensorflow ★ 197,215

모두를 위한 오픈소스 머신러닝 프레임워크

C++
crawl4ai ★ 78,856

🚀🤖 Crawl4AI: 오픈소스 LLM 친화적 웹 크롤러 & 스크레이퍼. 망설이지 말고 참여하세요: https://discord.gg/jP8KfhDhyN

Python
bitcoin ★ 89,961

Bitcoin Core 통합/스테이징 트리

C++
fzf ★ 82,603

:cherry_blossom: A command-line fuzzy finder

Go
opencode ★ 199,829

오픈 소스 코딩 에이전트입니다.

TypeScript
// repository documentation