398 Open source projects that are alternatives of or similar to reed-thesis

Univalent mathematics in Agda

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

List of resources about foundational knowledge for programmers (supposed to last a few decades)

λΠ Programming Language Theory

Programming language agnostic type construction language based on polynomials.

Category theory in the context of (functional) programming

A categorical semantics library in Agda.

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

A computational algebra system in Smalltalk.

A Python frontend to CGAL's mesh generators.

LyX template for USTC thesis

Code for A Programmer's Introduction to Mathematics

Implementation of Crytek's Light Propagation Volumes algorithm in WebGL

LaTeX templates for TJU graduate thesis. Originally forked from code.google.com/p/tjuthesis

使用机器学习算法完成对12306验证码的自动识别

UC Berkeley thesis/dissertation LaTeX Template (ucbthesis) for R Markdown

AI-related tutorials. Access any of them for free → https://towardsai.net/editorial

📖 A thesis LaTeX template that complies with the University of Aveiro's guidelines and provides a simple CLI workflow around make and compatibility with Overleaf.

A list of philosophy books and resources.

研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT

Modify and Improve math expressions.

The project uses state of the art deep learning on collected data for automatic analysis of emotions.

西安电子科技大学研究生学位论文开题报告表XeLaTeX模板

The Python Toolbox for Robotics

Mathematical finance cheat sheet.

西安电子科技大学本科生毕业论文（设计）开题报告LaTeX模板

Self-study plan to achieve mastery in data science

Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).

A template for the thesis of CSU (Central South University).

Modular Tracking Framework

My bachelor's thesis on the Entity-Component-System pattern and ECST

My Computer Science Curriculum

Reimplementation of famous old Dungeon Master game.

A Swift playground that generates beautiful Julia set fractal images.

Cross platform .NET math library.

✨ Standard library for JavaScript and Node.js. ✨

A LaTeX template for humans.

LaTTe : a Laboratory for Type Theory experiments (in clojure)

武汉理工大学本科生毕业设计（论文） LaTeX 模板 LaTeX Template for Bachelor's Degree Thesis at Wuhan University of Technology (WHUT)

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

nTiled - forward and deferred openGL renderer with support for Tiled Shading, Clustered Shading and Hashed Shading

Operator Discretization Library https://odlgroup.github.io/odl/

Code samples for #monadicmonday topics

Lattice algorithms using floating-point arithmetic

南开大学硕士毕业论文/博士论文模板 (Latex Template for Nankai University)

Pure Math in Pure Swift.

MIT Ph.D. Thesis in LaTeX

Ubpa Graphics Mathematics

Controlling AI-driven Quadruped Character in Unity.

Computator.NET is a special kind of numerical software that is fast and easy to use but not worse than others feature-wise. It's features include: - Real and complex functions charts - Real and complex calculator - Real functions numerical calculations including different methods - Over 107 Elementary functions - Over 141 Special functions - Over 21 Matrix functions and operations - Scripting language with power to easy computations including matrices - You can declare your own custom functions with scripting language

A Discrete Fourier Transform (DFT), a Fast Wavelet Transform (FWT), and a Wavelet Packet Transform (WPT) algorithm in 1-D, 2-D, and 3-D using normalized orthogonal (orthonormal) Haar, Coiflet, Daubechie, Legendre and normalized biorthognal wavelets in Java.

📄 同济大学本科生毕业设计论文模板 | Tongji University Undergraduate Thesis Template | Overleaf / Mac / Linux / Windows / Workshop / Docker

A LaTeX template for writing thesis in NCTU.

Pandoc LaTeX，Epub模板，用于生成书籍，幻灯片(beamer)，简历，论文等（cv, thesis, ebook,beamer)

A library for the computation of Nash equilibria in two player games

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

My thesis on "Open Source Code and Low Resource Languages" for an MSc in Language Science and Technology at Saarland University

@rsapkf's linkroll.

Domain Specific Languages of Mathematics

📚 Estilo para BibLaTeX compatível com as normas da ABNT