A PHP implementation of Christopher Strachey's "Loveletters" program (1952)
☆19Jul 9, 2024Updated 2 years ago
Alternatives and similar repositories for loveletter
Users that are interested in loveletter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- hypermedia essay on the subject of glitch art☆13Dec 10, 2015Updated 10 years ago
- Aesthetic Generator☆11Jun 24, 2021Updated 5 years ago
- Honors Thesis Summer/Fall 2015☆11Nov 18, 2018Updated 7 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- Los bots son relevantes para nosotros, pues automatizan tareas que eventualmente simplificarán trabajo a futuro. En este taller relámpago…☆20Jun 10, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Scripts y dataset para analizar el Registro Nacional de Personas Desaparecidas y No Localizadas de México☆20Dec 2, 2025Updated 9 months ago
- An awesome list that curates open to join organizations. 🏛️☆15Jul 21, 2026Updated last month
- Este proyecto permite realizar combinaciones de correspondencia avanzadas con Microsoft Word, donde el usuario puede elegir que se genere…☆30Feb 13, 2025Updated last year
- An Idris type provider for communicating type-checkable protocols.☆26Nov 6, 2017Updated 8 years ago
- show live2d on Mac desktop☆16Aug 16, 2022Updated 4 years ago
- ☆21Jul 28, 2024Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Porting of software foundations book to Agda☆39Feb 16, 2014Updated 12 years ago
- AI powered task manager app with speech recognition, twitter-like input suggestions, nlp, markdown etc...☆20Jan 9, 2024Updated 2 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.
- Play Youtube music via command line. No ads, no auto paused 🎵💥✨☆27Jun 5, 2021Updated 5 years ago
- ☆56Feb 25, 2022Updated 4 years ago
- Kirby3 vipsthumbnail thumbnail driver☆10Jun 27, 2022Updated 4 years ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- A Micropub Endpoint for Kirby 2☆10May 1, 2022Updated 4 years ago
- An image field with larger image preview.☆11Mar 22, 2017Updated 9 years ago
- Scripts for Glyphs App☆41May 5, 2023Updated 3 years ago
- Query String Binding for AlpineJS☆14Feb 25, 2023Updated 3 years ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 6 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.
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- A Minimalistic ASCII/Tiled Game Engine☆10Aug 6, 2025Updated last year
- Profile your Kirby CMS code with precision in milliseconds (or seconds)☆11Nov 23, 2024Updated last year
- Custom Editors and Controls for Unity☆16Sep 5, 2023Updated 3 years ago
- Section wrapper block that contains column blocks.☆11Apr 12, 2023Updated 3 years ago
- Protect panel user from creating page in conflict with routes.☆13Aug 11, 2026Updated 3 weeks ago
- Kirby plugins loader from multiple roots☆11Oct 22, 2025Updated 10 months ago
- Memsource integration for Kirby CMS☆12Apr 24, 2026Updated 4 months ago
- STT service that runs STT independently of the bot☆10Jun 17, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Kirby plugin for better var_dump(). Php-ref wrapped as kirby plugin.☆11May 23, 2017Updated 9 years ago
- Twitter bot that glitches photos on the fly☆68Feb 12, 2023Updated 3 years ago
- A bare-bones macro-based Entity-Component-System☆11Apr 11, 2021Updated 5 years ago
- A falling tetromino game for the Playdate☆11Jan 14, 2024Updated 2 years ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- ☆13Apr 9, 2023Updated 3 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 8 years ago