jaalonso / PensamientosLinks
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
Sorting:
- A list of resources that cross the disciplines of Computer Science and Philosophy☆92Updated 8 months ago
- The collected works of F. W. Lawvere☆368Updated last year
- ☆162Updated 10 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- Resources for learning Category Theory for an enthusiast☆651Updated 2 years ago
- Domain-Specific Languages of Mathematics☆444Updated 3 months ago
- Haskell MOOC University of Helsinki☆414Updated 2 weeks ago
- A formal logic framework that runs in the browser☆309Updated 11 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆174Updated last month
- The Dao of Functional Programming☆493Updated last month
- ☆415Updated last year
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆430Updated 3 years ago
- ACT community resources☆468Updated 6 years ago
- A book about category theory☆444Updated last week
- UCalgary version of forallx, an introduction to formal logic☆114Updated 2 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆786Updated 2 weeks ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆311Updated last year
- A roadmap for learning functional programming with Haskell - and beyond.☆13Updated 10 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- 💻 Exercises for the Haskell Beginners 2022 course☆273Updated last year
- An opinionated list of resources for learning Haskell☆933Updated 3 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS☆531Updated last year
- Curated list of Prolog packages and resources☆548Updated 2 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆82Updated last week
- papers of Per Martin Löf☆806Updated last year
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- ☆32Updated 4 months ago