awesome-thinking-tools

List of links for awesome thinking tools
https://github.com/iamwilhelm/awesome-thinking-tools

Last synced: about 7 hours ago
JSON representation

Applications
- Notebooks
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Jupyter
  - Observable
  - Streamlit
  - Announcement
  - Polynote - Notebook to leverage Scala
  - Annoucement
  - Swish - Notebook for Prolog
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Hyperfiddle
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
- Languages
  - MintData
  - CRUD UI definition
- SpreadSheets
  - Mesh Spreadsheet
Bicycle of the Mind
- What does a tool for thinking look like?
- What is Programming?
- Why is programming so hard?
- Future of Programming
- What's wrong with notebooks?
  - I don't like notebooks [video - dkAIsUXP-AL4ffI/preview#slide=id.g362da58057_0_664) by Joel Grus
  - The First Notebook Wars
- What's wrong with Infra?
  - I see what you mean
  - Serverless: slower and more expensive
History
- What's wrong with Infra?
  - Xerox Star User Interface [video
- Languages
  - pyDatalog - (Python) Datalog implementation in Python
  - Eve - Rethinking programming
  - 0.2 Reference
  - 0.3 Reference
  - Eve Series Part I: How Eve unifies your entire programming stack
  - Eve Series Part II: When Logic Programming Meets CQRS
  - Eve Series Part III: Throwing off our scope chains
  - Eve Series Part Iv: Smalltalk and protein programming
  - Eve Series Part V: The rock-solid foundation for Eve's big vision
  - Eve Series Part VI: Why Eve will be perfect for real-time apps
  - After Eve - Jamie Branson
  - Eve Concerns
  - Ceu Lang - Structured Synchronous Reactive Programming
  - Dyna - extending Datalog for modern AI
  - Imp: sets and funs - an emacs-y live self-modifying environment for working with structured data across multiple devices
  - denotional semantics
  - TreeNotation - A notation for writing code with two dimensions
  - FAQ
  - TreeBase
  - Bel - Lisp variant going hard on formalism
  - Guide
  - Source
  - LogLisp - Attempt to merge functional (lisp) with relational (prolog)
  - Userland - Spreadsheet-like Terminal
  - Soufflé - (C) Logic programming for Static analysis
  - FAQ
Projects
- SpreadSheets
  - Dynamicland - The building is the computer
  - SIEUFERD: A Visual Query System
  - Apparatus: A Hybrid Graphics Editor
  - Introducing Project Mentat, a flexible embedded knowledge store
  - HN Discussion
  - @David Broderick
  - @Dan Swirsky
  - @Bosmon
  - @jon
  - @Corey
  - How Dat Works
Technologies
- SpreadSheets
  - Six graph algorithms in differential dataflow
People
- SpreadSheets
  - Andy Matuschak
Reading lists
- SpreadSheets

Programming Languages

Categories

Applications 46 Bicycle of the Mind 44 History 27 Projects 11 Reading lists 4 Technologies 1 License 1 People 1

Sub Categories

Notebooks 43 Languages 28 What does a tool for thinking look like? 19 SpreadSheets 19 Why is programming so hard? 13 What is Programming? 4 Future of Programming 4 What's wrong with Infra? 3 What's wrong with notebooks? 2

Keywords

documentation 1 dat 1 spreadsheets 1 spreadsheet 1 arrays 1 array-languages 1 array 1