Alternatives and similar repositories for Pensamientos

Users that are interested in Pensamientos are comparing it to the libraries listed below

• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆30Updated 5 years ago
• Mzk-Levi / texts
  ☆161Updated 10 years ago
• glennstreet / awesome-philosophy-compsci
  A list of resources that cross the disciplines of Computer Science and Philosophy
  ☆89Updated 4 months ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆80Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated last month
• mroman42 / ctlc
  (λ) Category theory and lambda calculus, Bachelor's thesis
  ☆42Updated 6 years ago
• madkous / math490
  An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC
  ☆22Updated 2 years ago
• martinvlk / the-haskell-path
  A roadmap for learning functional programming with Haskell - and beyond.
  ☆13Updated 10 years ago
• tweag / awesome-learning-haskell
  A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
  ☆426Updated 3 years ago
• UniMath / Schools
  ☆86Updated 3 months ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆52Updated last year
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆360Updated 11 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆632Updated 2 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆441Updated 4 months ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆17Updated 2 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated last year
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated this week
• madvorak / fecssk
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆13Updated last year
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆55Updated 2 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆198Updated 3 months ago
• jlevy / on-books
  Readings and notes on the past, present, and future of books
  ☆178Updated 3 years ago
• rodrigogribeiro / apostila-discreta
  Material para Matemática Discreta
  ☆10Updated 9 years ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 2 weeks ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 11 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last month
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆19Updated 5 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago