gidtiBook: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (+29.63%)
Mutual labels: books
books-ML-and-DL.pdf Format Books for Machine and Deep Learning
Stars: ✭ 105 (+94.44%)
Mutual labels: books
good-readsList of inspiring articles, blogs, tutorials and books. Tech stuff.
Stars: ✭ 14 (-74.07%)
Mutual labels: books
booksProgramming books
Stars: ✭ 27 (-50%)
Mutual labels: books
computer book list一个综合了豆瓣,goodreads综合评分的计算机书籍书单
Stars: ✭ 1,535 (+2742.59%)
Mutual labels: books
bookwyrmSocial reading and reviewing, decentralized with ActivityPub
Stars: ✭ 1,499 (+2675.93%)
Mutual labels: books
DeepLearningWithJuliaThe Deep Learning with Julia book, using Flux.jl.
Stars: ✭ 66 (+22.22%)
Mutual labels: books
awesome-coder-resources编程路上加油站!------【持续更新中...欢迎star,欢迎常回来看看......】【内容:编程/学习/阅读资源,开源项目,面试题,网站,书,博客,教程等等】
Stars: ✭ 54 (+0%)
Mutual labels: books
Demos🔥 the go programming language go Demos, go语言例子 go语言圣经 练习题 go 语言书籍 bootstrap 练习 sql-mysql练习
Stars: ✭ 84 (+55.56%)
Mutual labels: books
CalibreLibgenStoreA Libgen Fiction store plugin for Calibre
Stars: ✭ 117 (+116.67%)
Mutual labels: books
in24hrsDiscover how every solution in some way related to the IoT needs a platform and how to create that platform. This book is about being agile and reducing time to market without breaking the bank. It is about designing something that you can scale incrementally without having to do a lot of rework and potentially disrupting your current state of t…
Stars: ✭ 26 (-51.85%)
Mutual labels: books
blinkist-m4a-downloaderGrabs all of the audio files from all of the Blinkist books
Stars: ✭ 100 (+85.19%)
Mutual labels: books
awesome-programming-booksList of good programming books for beginners and professionals
Stars: ✭ 68 (+25.93%)
Mutual labels: books
BiB📚 Library Management Application for Elementary Schools
Stars: ✭ 38 (-29.63%)
Mutual labels: books
SuperLibraryInformation Security Library
Stars: ✭ 60 (+11.11%)
Mutual labels: books
PainlessDockerPainless Docker book git repository.
Stars: ✭ 17 (-68.52%)
Mutual labels: books