Quantifier scope ambiguities are derived entirely from pragmatic assumptions, implemented in Game Theory.
☆16Aug 30, 2018Updated 7 years ago
Alternatives and similar repositories for scope-without-syntax
Users that are interested in scope-without-syntax are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Term paper on Rationality☆38Jul 1, 2022Updated 3 years ago
- Minor personal tweaks to suckless's scroll (for st)☆27Feb 6, 2021Updated 5 years ago
- Luke's Scripts for bash, ranger and qutebrowser synchronization☆62Aug 2, 2018Updated 7 years ago
- Luke's build of the surf web browser☆67Jan 27, 2020Updated 6 years ago
- Random files that could be of interest☆89Jul 1, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A cli-accessible Greek Bible with the Septuagint, SBL and Apocrypha☆100Jul 1, 2022Updated 3 years ago
- Latin Vulgate Bible on the Command Line☆135Mar 14, 2023Updated 3 years ago
- dmenu setup for LARBS☆155Oct 22, 2022Updated 3 years ago
- Read the Word of God from your terminal☆191Feb 14, 2024Updated 2 years ago
- My LaTeX templates, bibliography file, etc.☆216Jul 1, 2022Updated 3 years ago
- Landchad.net Website Tutorial Page☆387Mar 5, 2025Updated last year
- 🎭 An introduction to the Internet Archiving ecosystem, tooling, and some of the ethical dilemmas that the community faces.☆15Oct 19, 2020Updated 5 years ago
- Documentation for using Android Password Store☆14May 12, 2026Updated last week
- ☆15Oct 3, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Brain Interpreter and Visualizer Online.☆10Sep 1, 2016Updated 9 years ago
- Erlang NIF library that provides a collection of optimized functions for digital signal processing☆10Sep 27, 2015Updated 10 years ago
- DNS utils module for bepass sdk, supporting doh, dot, dnscrypt and static hosts file like configuration☆16Jan 13, 2024Updated 2 years ago
- Luke's Hugo Theme☆209Apr 9, 2026Updated last month
- evemu - Kernel device emulation☆10Oct 2, 2017Updated 8 years ago
- Source for☆26Nov 19, 2023Updated 2 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Nov 29, 2015Updated 10 years ago
- A dynamic relay proxy for nostr☆21Dec 13, 2023Updated 2 years ago
- my form of suckless dmenu☆13Apr 12, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Discuss future project ideas☆12May 10, 2017Updated 9 years ago
- ALSA bindings for Common Lisp☆12May 28, 2025Updated 11 months ago
- Common Lisp FTP client library☆15Nov 26, 2021Updated 4 years ago
- A place to play with shaders in CEPL☆16Apr 2, 2018Updated 8 years ago
- Emacs screenshot utility using scrot☆12Oct 10, 2023Updated 2 years ago
- A small video game console for Arduino using the Brainduino interpreter☆28Apr 4, 2018Updated 8 years ago
- Mostro P2P cli client☆35May 14, 2026Updated last week
- Central repository for Smartspacer plugins☆35Oct 16, 2025Updated 7 months ago
- Read and annotate djvu with Emacs☆12May 25, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Video file decoding in Common Lisp☆20Apr 8, 2017Updated 9 years ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- A lisp(sbcl) implementation of the algorithms described in 『The Art of Multiprocessor Programming』☆17Sep 22, 2012Updated 13 years ago
- Multiple Backends for Emacs URL package☆13Feb 26, 2026Updated 2 months ago
- The official web site of the core Todo.txt apps and community☆31Apr 6, 2024Updated 2 years ago
- Unofficial binary package repository for KISS Linux☆11Jun 3, 2022Updated 3 years ago
- A compiler written in janet, to compile (a subset of) janet to javascript.☆15May 24, 2020Updated 5 years ago