Lecturas_GLC

jaalonso

Readings on computational logic, interactive theorem proving and functional programming.

functional-programming haskell

View on GitHub

74 Stars

8 Forks

74 Watchers

gpl-3.0 License

Cost to Build

$643.4K

Market Value

$1.21M

How is this calculated?

Growth over time

10 data points · 2021-08-01 → 2025-02-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about Lecturas_GLC

Question copied to clipboard

What is the jaalonso/Lecturas_GLC GitHub project? Description: "Readings on computational logic, interactive theorem proving and functional programming.". Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone Lecturas_GLC

Clone via HTTPS

git clone https://github.com/jaalonso/Lecturas_GLC.git

Clone via SSH

[email protected]:jaalonso/Lecturas_GLC.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the Lecturas_GLC issue tracker:

Open GitHub Issues

Similar to Lecturas_GLC

mostly-adequate-guide functional-programming-jargon Functional-Light-JS cyclejs ios-oss android-oss lila scalaz Learning-SICP plt Swiftz milewski-ctfp-pdf vavr shapeless Carp write-you-a-haskell eta nix funcy arrow coconut bash-oo-framework scala-exercises kefir riko PyFunctional Lightweight-Stream-API wiwinwlh cube-composer z