Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Book of Elementary Functional Algorithms and Data structures
- algorithms
- haskell
- functional-programming
Introduction to Autonomous Robots
A selection of state-of-the-art research materials on trajectory prediction
- trajectory-prediction
- trajectory-generation
- social-interactions
- behavior-prediction
Complete collection of my PGF/TikZ figures.
- tikz
- pgf
- tikz-figures
- latex
Best Current Practices regarding secure online communication and configuration of services using cryptography.
- cryptography
- applied-cryptography
- documentation
- best-practices
[Writing] Claude / Codex skill for drafting abstracts, introductions, methods and experiments in the style of CVPR/ICCV/NeurIPS best papers, distilled from 60 award-winning papers.
- academic-writing
- agent-skills
- claude-skills
- codex
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
:octocat: GitHub Action to compile LaTeX documents
- latex
- github-actions-docker
- github-actions
- github-action
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]