Rodrigo Restrepo. Tactical Problems Involving Several Actions. Contributions to the Theory of Games, Vol. III. 1957
☆18Oct 26, 2023Updated 2 years ago
Alternatives and similar repositories for restrepo-1957
Users that are interested in restrepo-1957 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MOVED to code.netzhansa.com/hanshuebner/cl-github-v3. This GitHub mirror is archived.☆22Apr 10, 2026Updated 3 months ago
- forlater's primary mail processing service☆31Jul 2, 2023Updated 3 years ago
- T is a work-in-progress text editor inspired by the Acme editor from Plan9.☆10Feb 17, 2019Updated 7 years ago
- Replace weblocks default javascript library with jquery☆22Mar 31, 2014Updated 12 years ago
- Word2vec implemented in nim.☆30Sep 30, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Multi-threading brainfuck compiler☆11Dec 10, 2017Updated 8 years ago
- Kare's dotfiles☆10Oct 23, 2023Updated 2 years ago
- Code navigation/formatting scripts for p9p acme☆10Oct 2, 2019Updated 6 years ago
- Minimal script to wrap my usage of dropbox+git to write papers. Go RESEARCH!☆11Aug 21, 2017Updated 8 years ago
- Experimental package manager for 9front☆14Aug 26, 2019Updated 6 years ago
- Yet another collection of dotfiles☆15Jun 5, 2011Updated 15 years ago
- Binary blobs with on-the-fly pointer patching☆17Aug 22, 2018Updated 7 years ago
- Like a cell, but make lifetimes dynamic instead of ownership☆22Jul 14, 2022Updated 4 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 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.
- An x86 machine-code toolkit☆16Apr 11, 2017Updated 9 years ago
- Buildkite trigger for Gerrit☆12Feb 13, 2025Updated last year
- Collection of LaTeX utility packages for scientific documents☆17Sep 13, 2023Updated 2 years ago
- ☆18Jun 20, 2018Updated 8 years ago
- Docker Compose based system for running remote browsers (including Flash and Java support) connected to web archives☆16Jun 10, 2021Updated 5 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Jul 15, 2011Updated 15 years ago
- Cask support for Flycheck☆16Feb 5, 2024Updated 2 years ago
- React/Redux Chartwerk editor.☆10Oct 5, 2018Updated 7 years ago
- Extended performance metrics☆11Jul 15, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Crius is a simple hystrix-like circuit breaker for rust.☆15Nov 17, 2018Updated 7 years ago
- Productivity tools for Linux/Unix.☆29Updated this week
- A Common Lisp client library for Mastodon instances.☆46May 17, 2026Updated 2 months ago
- A command line interface for rxing☆10Mar 1, 2023Updated 3 years ago
- Some tools for Plan9's acme☆16Apr 17, 2025Updated last year
- A scriptable HTTP Benchmarking Library☆12Mar 3, 2020Updated 6 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Apr 7, 2011Updated 15 years ago
- transform a datapoint from a website into a CSV time-series dataset using the wayback machine☆12May 24, 2023Updated 3 years ago
- Easy WAVE file handling for Nim☆20Mar 6, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Conifer setup and deployment via Ansible☆12Jun 15, 2020Updated 6 years ago
- ☆106Jul 4, 2021Updated 5 years ago
- A tool to calculate the contrast ratio between any two valid CSS colors.☆11Feb 5, 2026Updated 5 months ago
- An autocompletion daemon for the C programming language (vim, libclang, omnifunc)☆23Aug 30, 2011Updated 14 years ago
- Python library to simplify the creation of data center code☆16Jun 21, 2013Updated 13 years ago
- ☆13Mar 5, 2022Updated 4 years ago
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago