Tema · lambda-calculus
lambda-calculus
Repositorios de código abierto monitorizados etiquetados con lambda-calculus, ordenados por estrellas.
Repositorios
4
Estrellas totales
6478
Estrellas de media
1620
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a lambda-calculus en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con lambda-calculus.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1★ 3764-3Variación de estrellas de los últimos 7 días
- #2
Una biblioteca para programación funcional en Rust
★ 1428+0Variación de estrellas de los últimos 7 días - #3
Fuentes canónicas para el sistema de demostración de teoremas HOL4. La rama 'develop' es donde ocurre el desarrollo principal; cuando 'develop' supera nuestras pruebas de regresión, se fusiona con 'master' para actualizarlo.
★ 755+0Variación de estrellas de los últimos 7 días - #4
Un conjunto de funciones: combinadores, cálculo lambda y codificaciones de Church en JS
★ 532+0Variación de estrellas de los últimos 7 días
