awesome-thinking-tools

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

Last synced: 6 days ago
JSON representation

Applications
- Languages
  - MintData
  - CRUD UI definition
  - MakerPad
  - Notion - All in one workspace to write, plan, collaborate, and get organized.
  - MintData
  - Hyperfiddle
- Notebooks
  - Jupyter
  - Observable
  - Streamlit
  - Announcement
  - Polynote - Notebook to leverage Scala
  - Annoucement
  - Swish - Notebook for Prolog
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Annoucement
  - Grid Studio
  - Annoucement
- SpreadSheets
  - Mesh Spreadsheet
Bicycle of the Mind
- Future of Programming
- What does a tool for thinking look like?
- What is Programming?
- What's wrong with Infra?
- 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
  - The First Notebook Wars
- Why is programming so hard?
History
- Languages
  - pyDatalog - (Python) Datalog implementation in Python
  - Soufflé - (C) Logic programming for Static analysis
  - 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
  - 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
  - Bel - Lisp variant going hard on formalism
  - Guide
  - Source
  - LogLisp - Attempt to merge functional (lisp) with relational (prolog)
  - Userland - Spreadsheet-like Terminal
  - FAQ
  - nlDatalog - HARC implementation of Datalog
  - 0.2 Reference
  - 0.3 Reference
  - Precept - A declarative programming framework
  - Ceu Lang - Structured Synchronous Reactive Programming
  - Alloy - Formal methods for verifying code execution
  - TreeNotation - A notation for writing code with two dimensions
  - Bud - Bloom prototype in Ruby
  - Dex - Research language for array processing in the Haskell/ML family
  - After Eve - Jamie Branson
  - TreeBase
  - Eve - Rethinking 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
  - LogLisp - Attempt to merge functional (lisp) with relational (prolog)
- What's wrong with Infra?
  - Xerox Star User Interface [video
People
- SpreadSheets
  - Andy Matuschak
  - Michael Nielsen
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
  - Hivemind - By Corey Montella, taking some of the lessons he learned from Eve
  - Mentat Github
  - Aquameta - Entire web stack implemented in Postgres
  - @jon
  - @Corey
  - How Dat Works
  - @David Broderick
  - @Dan Swirsky
  - @Bosmon
Reading lists
- SpreadSheets
Technologies
- SpreadSheets

Programming Languages

Java 2 Rust 2 JavaScript 2 PLpgSQL 1 Haskell 1 Ruby 1 HTML 1

Categories

Bicycle of the Mind 61 Applications 51 History 41 Projects 19 Reading lists 8 Technologies 6 People 2 License 1

Sub Categories

Languages 46 Notebooks 44 SpreadSheets 37 What does a tool for thinking look like? 28 Why is programming so hard? 18 What is Programming? 5 What's wrong with Infra? 4 Future of Programming 4 What's wrong with notebooks? 3

Keywords

widgets 1 version-control-system 1 system-catalog 1 semantics 1 rest-api 1 postgresql 1 plpgsql 1 events 1 rust 1 programming-language 1 incremental 1 ddlog 1 datalog 1 spreadsheets 1 spreadsheet 1 arrays 1 array-languages 1 array 1