825 Open source projects that are alternatives of or similar to Hott Intro

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks. Work in progress.

A library of abstract interfaces for mathematical structures in Coq [[email protected]]

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.

Issue handling for Evidence-based Software Engineering: based on the publicly available data

Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo

Este es un repositorio donde encontrarás todos los códigos usados para generar las animaciones de la lista de reproducción Calcanim en el canal de YouTube Animathica.

RSS for your gitbook

资治通鉴易读版

Learn how to write webapps without a framework in Go.

Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP

Order Book Matching Engine for Stock Exchanges (1us latency for matching)

Verified Software Toolchain

Книга Go для PHP разработчиков

A thin layer of graphic data types

Sample application for RxJS in Action (Book)

Java/Android多站点小说爬虫库，并发搜索，epub/txt下载，在线书源等，已实现小说app

📖 Bible API for everyone

🏊 Dive into ES6 and the future of JavaScript

[Book] JavaScript (ES2015+) Enlightenment

Metaprogramming. Multi-paradigm approach in the Software Engineering.

A high volume fraction sphere packing library

Webpage offering a wide range of online tools

R for data science: a book

Software to look for interrelationships between constants and find formulas for number sequences

Explorando aspectos fundamentais da matemática com Python e Jupyter

A guide to tidy evaluation

Source code for the book Rust in Action

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

Unofficial source code repo for Charles Petzold's Programming Windows 5th Edition.

📖 A collection of pure POSIX sh alternatives to external processes.

IO for Gallina

A gently curated list of companies using verification formal methods in industry

A quick introduction to all most important concepts of Probability Theory, only freshman level of mathematics needed as prerequisite.

Mesh optimization, mesh smoothing.

Euler fluid simulated with CPP and SFML

Ruby Web Dev: The Other Way. Personal best practices guide.

📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.

📖 【译】操作系统思考

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

My implementation of 85+ popular data structures and algorithms and interview questions in Python 3 and C++

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

📖 [译] Web Hacking 101 中文版

This is a list of books in our library or which we recommend you read.

Embed any image into a prime number.

Rmarkdown for Scientists

<<Rust语言圣经(Book & Course)>>对Rust语言进行全面且深入的讲解，书中辅以生动的示例和习题，带你攻克从入门学习到实践应用的各种难关。 我们的目标是做一门优秀的开源Rust教程(课程)——学Rust就上course.rs。

Сайт Алексея Савватеева

My book introducing you to Elm!

docker 一键部署 calibre 在线书库

ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms

🌈 Plot complex functions

my global strategy about continuous learnings and improvements, projects and activities

🚂✋📖 - Learn the choo framework through a set of exercises

xelatex book template

evilfactorylabs handbook

Utilities for doing calculations in continuum mechanics.

Code for Python Parallel Programming Cookbook by Giancarlo Zaccone

📕 "友书" 小说阅读app