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
Sorting:
- Readings on computational logic, interactive theorem proving and functional programming.☆78Updated this week
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 5 years ago
- ☆153Updated 10 years ago
- Resources for learning Category Theory for an enthusiast☆624Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆106Updated 3 months ago
- Learn Prolog Now LaTeX sources☆86Updated 2 years ago
- A roadmap for learning functional programming with Haskell - and beyond.☆13Updated 9 years ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 6 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- List of resources for learning Category Theory☆255Updated 5 months ago
- Learn you a Haskell (Spanish translation)☆59Updated 4 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆52Updated 2 years ago
- ☆84Updated 3 weeks 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
- formally verified category theory library☆263Updated 4 years ago
- My slides and compilation of resources.☆153Updated 8 months ago
- Tim Button's open textbook on set theory☆34Updated last year
- Categorical Query Language IDE☆304Updated this week
- (λ) Category theory and lambda calculus, Bachelor's thesis☆41Updated 6 years ago
- ☆114Updated 10 months ago
- a collection of cellular automata written in Haskell with Diagrams☆188Updated 5 years ago
- OpenNASA Space Apps Challenge Global Finalist Project☆23Updated 7 years ago
- Repositorio de la optativa para la FCEIA☆16Updated last month
- A Haskell implementation of the Jupyter messaging protocol☆40Updated 4 years ago
- Textbook on metalogic based on the Open Logic Project☆41Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 10 months ago
- Grammatical Framework core: compiler, shell & runtimes☆139Updated last week
- Formalization of category theory in Agda☆15Updated 2 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago