LukeSmithxyz / scope-without-syntax
Quantifier scope ambiguities are derived entirely from pragmatic assumptions, implemented in Game Theory.
☆16Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for scope-without-syntax
- Qualifying paper on how word orders are driven by prosodic parameters☆19Updated 6 years ago
- Luke's Latin Tagger and (under construction) Corpus☆28Updated 5 months ago
- Term paper on Rationality☆38Updated 2 years ago
- Minor personal tweaks to suckless's scroll (for st)☆26Updated 3 years ago
- Luke's build of the surf web browser☆66Updated 4 years ago
- Small vim scripts for writing IPA and other special characters☆53Updated last year
- Luke's Scripts for bash, ranger and qutebrowser synchronization☆61Updated 6 years ago
- A cli-accessible Greek Bible with the Septuagint, SBL and Apocrypha☆80Updated 2 years ago
- Random files that could be of interest☆85Updated 2 years ago
- Highlight your code in groff files☆19Updated 2 years ago
- Latin Vulgate Bible on the Command Line☆118Updated last year
- A system for CVs/resumes and websites based on markdown files☆102Updated 4 years ago
- Json Shell Parser: A simple json parser in POSIX shell and sed☆13Updated 3 years ago
- Unofficial binary package repository for KISS Linux☆11Updated 2 years ago
- A Plan9-inspired, mouse-oriented, graphical menu, which works with the standard input.☆16Updated 7 months ago
- Wlroots and friends for KISS☆27Updated 4 years ago
- Selection menu written in POSIX shell☆45Updated last year
- frontend on top of the kiss package manager☆18Updated 4 years ago
- Tab search, selection and beyond with a dmenu filter program☆18Updated last year
- KISS - Package Manager, mirror of https://codeberg.org/kiss-community/kiss☆20Updated 3 weeks ago
- 🏡 Home is where the dots are☆8Updated this week
- A vim plugin meant to help bring troff / groff into the modern day☆26Updated 3 years ago
- tools to help your KISS install look nice☆14Updated 4 years ago
- ffmpeg wrapper to facilitate screencasting/recording on OpenBSD☆23Updated 5 months ago
- dmenu setup for LARBS☆150Updated 2 years ago
- KISS Linux on aarch64☆24Updated 3 years ago
- Package Manager for Kiss Linux☆18Updated 5 years ago
- my form of suckless dmenu☆10Updated 4 years ago