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–11 of 11 · Most stars
Book of Elementary Functional Algorithms and Data structures
- algorithms
- haskell
- functional-programming
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
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
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
Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library
- ada
- aspects
- attributes
- packages