Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
Repository Index
55,640 visible repositories in the index
1–17 of 17 · Most stars
Book of Elementary Functional Algorithms and Data structures
- algorithms
- haskell
- functional-programming
LaTeX Thesis Template for Tsinghua University
- latex-thesis-template
- tex
- latex
- thuthesis
Introduction to Autonomous Robots
AI Safety HOT: daily AI safety news, papers and incidents in one place — jailbreaks, prompt injection, alignment, evals, governance. Website, daily digest, RSS and MCP.
- ai-alignment
- ai-governance
- ai-safety
- arxiv-papers
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
Harness self-evolution: update targets, theory, evaluation, and reported evidence. Bilingual reading list and project website.
- agent-evaluation
- agent-harness
- agent-memory
- agent-skills
[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
A typographically elegant, clean, and structured LaTeX template.
- design
- latex
- template
- typography
Survey companion for Computational Character Modeling: role-playing methods, data foundations, and evaluation, organized by the manuscript.
- awesome-list
- large-language-models
- role-playing-agents
- survey
The repository host gives no description.
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]
Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library
- ada
- aspects
- attributes
- packages