Tópico · lambda-calculus

lambda-calculus

Repositórios de código aberto acompanhados marcados com lambda-calculus, ordenados por estrelas.

Repositórios

Total de estrelas

6.478

Média de estrelas

1.620

Participação

0,00%

Tópicos que aparecem com frequência ao lado de lambda-calculus no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com lambda-calculus.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
Kind ↗@HigherOrderCOHaskell
Uma linguagem de prova moderna
★ 3.764-3Variação de estrelas nos últimos 7 dias
#2
fp-core.rs ↗@JasonShinRust
Uma biblioteca para programação funcional em Rust
★ 1.428+0Variação de estrelas nos últimos 7 dias
#3
HOL ↗@HOL-Theorem-ProverStandard ML
Fontes canônicas para o sistema de demonstração de teoremas HOL4. O branch develop é onde ocorre o "desenvolvimento principal"; quando o develop passa em nossos testes de regressão, o master é mesclado para atualização.
★ 755+0Variação de estrelas nos últimos 7 dias
#4
lambda-talk ↗@glebecJavaScript
A Flock of Functions: Combinadores, Cálculo Lambda e Codificações de Church em JS.
★ 532+0Variação de estrelas nos últimos 7 dias