jaalonso / Pensamientos
Recopilación de pensamientos.
☆11Updated last week
Alternatives and similar repositories for Pensamientos:
Users that are interested in Pensamientos are comparing it to the libraries listed below
- Readings on computational logic, interactive theorem proving and functional programming.☆75Updated this week
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- A roadmap for learning functional programming with Haskell - and beyond.☆13Updated 9 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆52Updated 2 years ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Educational tool for relational algebra☆91Updated 11 months ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆420Updated 2 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆85Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆292Updated last year
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- Learn you a Haskell (Spanish translation)☆59Updated 4 years ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆294Updated 3 years ago
- ☆29Updated 3 months ago
- Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory☆16Updated 3 years ago
- ☆113Updated 9 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 8 months ago
- Domain-Specific Languages of Mathematics☆436Updated last month
- Enciclopedia de Algoritmos y Estructuras de Datos - UTN Santa Fe 2019☆12Updated 5 years ago
- An interactive theorem prover for string diagrams☆113Updated 6 months ago
- Categorical Logic Notes☆78Updated 3 years ago
- ☆47Updated 3 months ago
- Learn Prolog Now LaTeX sources☆86Updated 2 years ago
- (λ) Category theory and lambda calculus, Bachelor's thesis☆41Updated 6 years ago
- Effective Algebraic Topology in Haskell☆90Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆240Updated 4 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated last year
- A topological data analysis library for Haskell☆29Updated 4 years ago
- An introductory course to Homotopy Type Theory☆365Updated 4 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Tim Button's open textbook on set theory☆34Updated last year