313 Open source projects that are alternatives of or similar to gidti

Homepage Theorem Proving in Lean FAQ

Lecture note on Lambda Calculus and Types for FLOLAC

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

An inference engine for extensional untyped λ-calculus

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

A modern proof language

A list of textbooks for a Computer Science curriculum.

📚 Freely available programming books

Most influential books on Computer Science/programming

books-tech、PPT、or something

Resolution theorem proving for predicate logic in pure Python.

区块链学习路上的一些资料作为参考

Bologna Optimal Higher-Order Machine, Version 1.1

Generic template for midsize and larger documents based on KOMA script classes.

📚 Computer Science Books 计算机技术类书籍 PDF

A minimalist pure lazy functional programming language

📚 List of resources for Algorithms and Data Structures in Python & other CS topics @2017

Efficient and single-steppable ULC evaluation algorithm

📚 awesome algorithm books I've collected 【不定期更新】 搜集整理的算法书籍（经典算法、ML/DL算法、面试算法、比赛算法等）

Summary of "Refactoring: Improving the Design of Existing Code (2nd Edition)" by Martin Fowler

一些前端/设计相关的书籍（电子书）

A list of learning materials to understand databases internals

Book publishing toolchain based on AsciiDoc

My slides and notes

🔖 ⭐️ Collection of public dev bookmarks, shared with ❤️ from www.bookmarks.dev

An audiobook 🎧 📔 app made using Flutter

Python, Machine Learning, Deep Learning and Data Science Books

Church Encoding Implementation in JavaScript

Curated (meta)list of resources for Biology.

📚 A book library app for both Android & IOS ~ Flutter.dev project in Dart

@rsapkf's linkroll.

Notes from some books that I've read.

最全的Java技术知识点，以及Java源码分析。为开源贡献自己的一份力。

📚 免费的计算机编程类中文书籍，欢迎投稿

Create books from WhatsApp group chats with Python and LaTeX

【非公式】AtCoderがもっと楽しくなるリンク集です。有志による非公式サービス・ツール・ライブラリ・記事などをまとめています。

A curated list for awesome kubernetes sources 🚢🎉

Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.

A collections of FREE ebooks

Social reading and reviewing, decentralized with ActivityPub

编程电子书pdf，计算机常用电子书整理（高质量/附下载链接）包括 Java, Python, Linux, Go, C, C++, 数据结构与算法, AI人工智能, 计算机基础, 面试, 设计模式, 数据库, 前端等编程书籍。

Node.js Design Patterns Third Edition, published by Packt

气象相关书籍合集（持续更新）

A personal project to help me retain information from books

MarkdownSlides is a Reveal.js and PDF slides generator from MARKDOWN files, that also generate HTML, EPUB and DOCX documents. The idea is that from a same MARKDOWN file we can get slides and books without worrying about style, just worrying about content.

The guide to decoupling feature rollout from code deployment for feature flag-driven development. Feature flags give a software organization the power to reduce risk, iterate quicker, and get more control.

Razor is a tool for constructing finite models for first-order theories

Almighty Book Downloader

Useful links of different content related to AI, Computer Vision, and Robotics.

Awesome Books

📚 Curated lists for programming, books, movies, music, games, etc

List of some useful blogs, books, courses, papers etc. 📚

Notes from books and other interesting things that I've read. Table of contents at the end 👇

📚 A curated list of awesome programming books (Algorithms and data structures, Artificial intelligence, Software Architecture, Human–computer interaction, Operating Systems, Database Systems, IT Security, Concurrency, Interpreters and Compilers, High-Performance Computing, Distributed Systems, Game Development, Mathematical optimization)

Awesome resources for coding and learning: open source projects, websites, books e.g.

My undergradate thesis on coinductive types in univalent type theory

Download books from gen.lib.rus.ec, libgen.io, libgen.pw, b-ok.org and bookfi.net

技术书籍等