A Pastel Coloured Editor Theme
☆23Oct 4, 2011Updated 14 years ago
Alternatives and similar repositories for Tomorrow-Theme
Users that are interested in Tomorrow-Theme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Autonomy is Organization☆17Sep 16, 2015Updated 10 years ago
- An event bus in Common Lisp.☆13Dec 4, 2019Updated 6 years ago
- (inc clojure-brush) ; A smarter Syntax Highlighter brush for Clojure☆11Nov 22, 2011Updated 14 years ago
- A simple dev environment for clojure.☆37Jul 8, 2011Updated 15 years ago
- A Common Lisp painting application☆32May 17, 2026Updated 2 months 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 Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- Redmine tools using Emacs OrgMode☆13Jul 3, 2012Updated 14 years ago
- ☆10Mar 13, 2016Updated 10 years ago
- An .mli-aware command-line renaming tool for OCaml projects☆10Jan 5, 2016Updated 10 years ago
- RecollFs - FUSE filesystem using Recoll index, showing filtered files in directories.☆16Aug 9, 2014Updated 12 years ago
- ☆24Mar 9, 2021Updated 5 years ago
- A chrome extension to browse for related topics on Hacker News (built with clojurescript)☆25May 4, 2017Updated 9 years ago
- Convert Zotero db to use Referey☆14Dec 30, 2025Updated 7 months ago
- Another Scheme interpreter☆15Jan 23, 2011Updated 15 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 unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- ☆15Nov 23, 2015Updated 10 years ago
- Clojure Beanstalk Client☆17Sep 7, 2012Updated 13 years ago
- Helm frontend for rg (ripgrep)☆13Jan 20, 2021Updated 5 years ago
- Monitor and restart background threads.☆30Nov 23, 2023Updated 2 years ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29May 3, 2023Updated 3 years ago
- The sparkling monad library☆13Jun 17, 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.
- add Lettuce support for your Flask application☆16Nov 20, 2011Updated 14 years ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 9 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- Pager for Google Appengine NDB☆15Jun 27, 2015Updated 11 years ago
- Convert C-code to OCaml Ctypes via Clang☆21Apr 15, 2019Updated 7 years ago
- Qubits in Clojure☆39Nov 19, 2014Updated 11 years ago
- BibTeX file of philosophy papers☆15Aug 2, 2026Updated last week
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Pytorch-based tools for constructing a vocabulary of visual concepts in a GAN.☆17Feb 25, 2022Updated 4 years ago
- A simple mind-mapping tool, optimized for keyboard use☆18Aug 23, 2023Updated 2 years ago
- Opening your PDF books by the anything interface☆16Feb 27, 2014Updated 12 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 10 months ago
- Bazinga is an incremental test runner plugin for nose☆27Oct 1, 2011Updated 14 years ago
- Worksets is a GUI application that helps you to quickly launch and arrange multiple applications in your desktop environment to support a…☆14Jul 22, 2018Updated 8 years ago
- ☆18Sep 1, 2018Updated 7 years ago