Twilight Theme for Emacs
☆92Oct 14, 2011Updated 14 years ago
Alternatives and similar repositories for twilight-emacs
Users that are interested in twilight-emacs 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 Google's BigQuery interface for ruby☆42Jul 7, 2011Updated 14 years ago
- 📚 Publish stylish documents and digital gardens from Markdown☆14Apr 28, 2026Updated last month
- ☆10Mar 13, 2016Updated 10 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Some pleasant examples that show off the reactor and get you started☆17Oct 3, 2014Updated 11 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.
- An .mli-aware command-line renaming tool for OCaml projects☆10Jan 5, 2016Updated 10 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Demonstration of client server synchronization algorithm.☆11Dec 10, 2013Updated 12 years ago
- Oberon 07 experimentation on Windows and Linux☆11Jan 16, 2017Updated 9 years ago
- An iPhone App simulating the Apple Photos App but using Google Picasa as the data source. Also utilizes the Three20 library for UI.☆18Mar 12, 2010Updated 16 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- Tango Dark color theme for OS X Terminal☆13Mar 17, 2014Updated 12 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆22Sep 5, 2021Updated 4 years ago
- Experimental: Static Analyzer and Language Server for Ruby☆26Jul 24, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆22Jan 14, 2026Updated 5 months ago
- ALS Prolog Compiler & Development Environment☆18Updated this week
- A live commenting system built in Go, Socket.io, Redis, and Backbone.js☆26Apr 12, 2011Updated 15 years ago
- Game theory in Clojure☆18Jan 30, 2013Updated 13 years ago
- Heroku Buildpack for Running JSNES☆18Jan 23, 2018Updated 8 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆19Aug 8, 2015Updated 10 years ago
- A locally running Large Language Model (LLM) combined with a vector database designed to assist developers in adding ChatGPT features sec…☆14Dec 8, 2023Updated 2 years ago
- Postgres protocol support for finagle☆36Sep 4, 2013Updated 12 years ago
- HTML to Markdown converter written in emacs-lisp.☆19Apr 9, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- [DEPRECATED] Add an entire threaded comment system to your Rails application with only 7 lines of code.☆77Dec 10, 2010Updated 15 years ago
- Fortran routines for manipulating ASCII characters (future pull request to fortran-lang/stdlib https://github.com/fortran-lang/stdlib)☆13Jan 26, 2024Updated 2 years ago
- migration of rebol.net wiki to asciidoc based site☆17May 2, 2017Updated 9 years ago
- Convert C-code to OCaml Ctypes via Clang☆21Apr 15, 2019Updated 7 years ago
- carML - a yummy and sweet ML dialect☆19Jan 6, 2022Updated 4 years ago
- A demo of using SproutCore 2 and HTML 5 to build a drum sequencer using standards-based web technology.☆15Sep 17, 2019Updated 6 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- Pengines: Prolog engines☆12May 28, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- The new catonmat.net website.☆46Jan 19, 2019Updated 7 years ago
- Prototype Database driven CRUD Admin dashboards and RESTFUL API's with Python, Flask, SQLALchemy, Javascript/Angularjs and Bootstrap 3☆10Sep 28, 2017Updated 8 years ago
- Events and side effect handling with sagas for PHP.☆16Sep 24, 2016Updated 9 years ago
- self hosted followup.cc/nudgemail for privacy fanatics☆29Oct 1, 2011Updated 14 years ago
- Python blog generator for hackers☆23May 3, 2018Updated 8 years ago
- Open Source calendar☆89Nov 2, 2012Updated 13 years ago