idris-hackers / Software Foundations
Licence: mit
Software Foundations in Idris
Stars: ✭ 383
Labels
Projects that are alternatives of or similar to Software Foundations
Cs Books Pdf
编程电子书pdf，计算机常用电子书整理（高质量/附下载链接）包括 Java, Python, Linux, Go, C, C++, 数据结构与算法, AI人工智能, 计算机基础, 面试, 设计模式, 数据库, 前端等编程书籍。
Stars: ✭ 140 (-63.45%)
Mutual labels: computer-science, book
Classiccomputerscienceproblemsinpython
Source Code for the Book Classic Computer Science Problems in Python
Stars: ✭ 558 (+45.69%)
Mutual labels: computer-science, book
Classiccomputerscienceproblemsinswift
Source Code for the Book Classic Computer Science Problems in Swift
Stars: ✭ 142 (-62.92%)
Mutual labels: computer-science, book
Dsa.js Data Structures Algorithms Javascript
🥞Data Structures and Algorithms explained and implemented in JavaScript + eBook
Stars: ✭ 6,251 (+1532.11%)
Mutual labels: computer-science, book
Cs Books
📚 Computer Science Books 计算机技术类书籍 PDF
Stars: ✭ 2,915 (+661.1%)
Mutual labels: computer-science, book
Hands On Ml Zh
📖 [译] Sklearn 与 TensorFlow 机器学习实用指南【版权问题，网站已下线！！】
Stars: ✭ 3,616 (+844.13%)
Mutual labels: book
Thief
一款创新跨平台摸鱼神器，支持小说、股票、网页、视频、直播、PDF、游戏等摸鱼模式，为上班族打造的上班必备神器，使用此软件可以让上班倍感轻松，远离 ICU。
Stars: ✭ 3,974 (+937.6%)
Mutual labels: book
Craftinginterpreters
Repository for the book "Crafting Interpreters"
Stars: ✭ 4,298 (+1022.19%)
Mutual labels: book
Repl
The Learning Hub for UoL's Online CS Students
Stars: ✭ 367 (-4.18%)
Mutual labels: computer-science
D2l Pytorch
This project reproduces the book Dive Into Deep Learning (https://d2l.ai/), adapting the code from MXNet into PyTorch.
Stars: ✭ 3,810 (+894.78%)
Mutual labels: book
Tech Interview For Developer
👶🏻 신입 개발자 전공 지식 & 기술 면접 백과사전 📖
Stars: ✭ 5,610 (+1364.75%)
Mutual labels: computer-science
Materialhome
一个基于 Material Design 风格设计的图书展示类App，豆瓣图书，在线电子书。
Stars: ✭ 331 (-13.58%)
Mutual labels: book
Spark Structured Streaming Book
The Internals of Spark Structured Streaming
Stars: ✭ 371 (-3.13%)
Mutual labels: book
24daysofrust
Code examples accompanying my "24 days of Rust" article series.
Stars: ✭ 322 (-15.93%)
Mutual labels: book
Go101
An online book focusing on Go syntax/semantics and runtime related things
Stars: ✭ 4,128 (+977.81%)
Mutual labels: book
How To Collaborate On Github
A mini book about collaborating on GitHub
Stars: ✭ 346 (-9.66%)
Mutual labels: book
Software Foundations in Idris
Building
To rebuild the PDF, ensure the prerequisites are installed, then:
make pdf
Prerequisites
Others may work, but here are the versions I'm using.
| Dependency | Version |
|---|---|
| (run)ghc | 8.4.3 |
| Idris | 1.3.0 |
| latexmk | 4.59 |
| [GNU Make][] | 4.2.1 |
| minted | 2.5 |
| Iosevka | 1.14.3 |
| Pandoc | 2.2.1 |
| pandoc-types | 1.17.5.1 |
| Python | 3.6.6 |
| Pygments | 2.2.0 |
| XeLaTeX | 3.14159265-2.6-0.99999 (Web2C 2018/NixOS.org) |
Installing prerequisites
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].