Working area for papers
☆23Oct 29, 2024Updated last year
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A recreation of Ivan Sutherland's Sketchpad, for the web.☆36Aug 20, 2024Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- Documentation of the Director formats, related formats, as well as formats planned to be implemented by the Earthquake team.☆20Mar 23, 2019Updated 7 years ago
- Editor for language composition☆58Dec 14, 2022Updated 3 years ago
- Pharo edition of ActivePapers☆21May 2, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple Codeforces utility bot for Discord☆10Mar 9, 2025Updated last year
- Fast social sharing metadata tag generator☆12Mar 14, 2021Updated 5 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- Linked Data Transcriber☆16Nov 26, 2024Updated last year
- A simple Discord bot that assists with competitive programming☆10Nov 26, 2018Updated 7 years ago
- The Mickey Mouse of dynamic linkers☆17Aug 23, 2026Updated last week
- Proof-of-concept: run QBasic code in the cloud☆15Jul 16, 2018Updated 8 years ago
- Problemas en español e ingles para uso de las olimpiadas de fisica. Contiene Iphos, Aphos, iberoamericanas, etc.☆12Apr 2, 2019Updated 7 years ago
- Advanced Programming Laboratories and Challenges☆11Nov 29, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A searchable repository of my personal notes from readings☆18Jul 21, 2022Updated 4 years ago
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 5 years ago
- Finds the "magic" and the most happy moments of a given movie and makes a trailer out of it☆13Jan 8, 2019Updated 7 years ago
- 🌈 A vibrant, fresh, and clean color scheme for vim☆14Sep 22, 2021Updated 4 years ago
- Rush lets you work on many files at once☆16May 4, 2022Updated 4 years ago
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- Core documents and specifications☆42Sep 7, 2022Updated 3 years ago
- Using a Transformer for learning the Language Model and Generate Short Jokes☆13Jun 7, 2020Updated 6 years ago
- ☆58May 17, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Inductive programming in JavaScript☆25May 31, 2016Updated 10 years ago
- Add csv diff capabilities to your local git configuration☆15Oct 22, 2013Updated 12 years ago
- Chrome extension to allow in-browser decryption of Ansible vaults☆11Aug 2, 2021Updated 5 years ago
- User-friendly Ethereum transaction descriptions.☆20Jul 5, 2022Updated 4 years ago
- Unofficial translations of AtCoder problems☆11Mar 30, 2020Updated 6 years ago
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- Polymode support for Org-brain☆14May 10, 2020Updated 6 years ago
- Design Resources and Assets [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]☆42Dec 8, 2022Updated 3 years ago
- Simple Multiboot Integrator powered by GRUB☆14Aug 1, 2016Updated 10 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.
- ☆16Sep 30, 2021Updated 4 years ago
- Racket plugin for the asdf version manager [maintainer=@nandalopes]☆13Jan 4, 2025Updated last year
- ☆13Jan 26, 2022Updated 4 years ago
- A ctags-based Ruby tags system for Emacs☆12Oct 24, 2025Updated 10 months ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 8 months ago
- ☆33Updated this week
- Haml for Common Lisp☆15Jun 9, 2017Updated 9 years ago