토픽 · lambda-calculus
lambda-calculus
lambda-calculus 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
4
총 스타
6,478
평균 스타
1,620
비중
0.00%
관련 토픽
같은 리포지토리에 lambda-calculus 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 lambda-calculus 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1★ 3,764-3최근 7일 스타 변화
- #2
Rust의 함수형 프로그래밍을 위한 라이브러리
★ 1,428+0최근 7일 스타 변화 - #3
HOL4 정리 증명 시스템의 표준 소스입니다. develop 브랜치에서 메인 개발이 이루어지며, 회귀 테스트를 통과하면 master 브랜치로 병합됩니다.
★ 756+0최근 7일 스타 변화 - #4
함수들의 모음: JS로 구현한 콤비네이터, 람다 대수 및 처치 인코딩
★ 532+0최근 7일 스타 변화
