GitHub - tuhdo/semantic-refactor: Semantic Refactor is a refactoring tool based on Semantic parser frameworkYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Emacs+LilyPond=楽譜が作れる - Qiita
LilyPond を Emacs で満足して使えるようにするための手順の覚え書き。 自分も導入したばかりでこれから本格的に使っていこうという段階です。 Mac の話ですが、Windows とかでもできるはずです。 違ってたら言ってください。 LilyPond について LilyPond とはオープンソースのテキストベース楽譜作成ソフトウェア。GNU プロジェクトの一部。 LaTeX みたいなものと思ってもらえれば良い。 なので Emacs や Vim などのテキストエディタを使って楽譜を作成できる。 公式のアプリケーションは LaTeX で言うところの TeXShop(Mac 用)ライクなもので、簡単なエディタとコンパイル機能が備わっている。 コマンドラインから使えれば良いという人は Homebrew で必要なコマンドをインストールできる。 公式ではない GUI ソフトも提供されているらし
chrisdone/emacs-haskell-config · GitHub
A quick and easy pre-configured Emacs for developing with Haskell. You can use this to try out the Emacs support for Haskell, or use it as a base or to crib Elisp from, or whatever. The motivating use-case is that newbies tend to want something that just works that they can customize later. This aims to be that repo. At least, an opinionated version of it. Most of it is using my tooling, so it's v
Vim to Emacs' Evil chaotic migration guide
I’ve been using Vim for 18 years, and for me it was the only option for serious text work (like programming or writing) because I’m totally addicted to modal text editing to the point that I feel crippled when I’ve to edit text in a non-modal editor. You may argue that programming is not about how fast you write and you would be right, but if you can imagine somebody programming on an on screen ke
Cask - naoyaのはてなダイアリー
昨年 ELPA で elisp を管理 - naoyaのはてなダイアリー に書いたとおり、昨今は Emacs にもパッケージ管理システムが搭載されいて、どこからか elisp をコピペしてきてその後管理できなくなる･･･みたいなことはなくなった。 ただ、じゃあ ELPA で全て解決したかというとそんなことはなくて、ELPA はパッケージのインストール自体は簡単にしてくれるけれども、それだけだった。 elisp の管理も Bundler のように入れたいパッケージ一覧を書いて bundle install すれば全部まとめて入るみたいな、そういうのが欲しい･･･と常々思っていた。 と思っていたら、Cask というのを見つけた。これがずばりそのものだった。 (source gnu) (source melpa) (source marmalade) (depends-on "ag") (dep
Cask
Documentation moved! The Cask documentation moved to http://cask.readthedocs.org. This documentation is kept for historical purposes and not updated anymore. Please consult the current documentation. Cask is a project management tool for Emacs that helps automate the package development cycle; development, dependencies, testing, building, packaging and more. Cask can also be used to manage depende
C/C++ Development Environment for Emacs
In this guide, I will help you to setup an efficient working C/C++ environment. Despite looking long, the setup is short and easy (mostly copy/paste Emacs Lisp code into your init.el); most of the guide are explanations and demonstrations of many useful features. Following this guide, you should be able to browse the Linux kernel source tree inside Emacs effortlessly, such as jump to definition/re
GitHub - defaultxr/tracker-mode: A tracker-inspired music sequencer for Emacs.
A tracker-inspired livecodable music sequencer for Emacs. Inspired by Chun Lee’s ”etracker”, which unfortunately doesn’t seem to be available online. Tracker-mode is a sequencer for Emacs loosely modelled after traditional trackers. At the moment, patterns can only have a single column, and each step in the sequence must be elisp code which is run on that step. Obviously since arbitrary code can b
EmacsWiki: Web Kit
Everyone has their own dreams, and every emacser has an own operating system dream! – AndyStewartWe want full-feature browser in Emacs!I think every emacser are hoping to run a modern browser in Emacs inside, not text browser like w3m, not xwidget that break emacs’ text pure world, we hope running WebKit engine browser like any other modern application, not just text, it can run javascript, it can
Emacs 24.3.1 に ProofGeneral 4.2 - Elliptium
じぇねらるたんのステッカーをいただけることになったので, ProofGeneral をインストールしてみた記録. ついでに Emacs も最新の 24.3.1 にしてみた. ProofGeneral についてはこちら. → http://proofgeneral.inf.ed.ac.uk/download Emacs 24.3.1 はここからビルド済みのものをダウンロード. → http://emacsformacosx.com これですんなりインストールが済むかと思いきや, バイトコンパイルでエラーが出た. In toplevel form: generic/pg-response.el:104:23:Error: `special-display-regexps' is an obsolete variable (as of 24.3); use `display-buffer-ali
リリカル☆Lisp開発日記 » Blog Archive » Proof GeneralでCoq
プログラミング Coqを参考に、CoqとCoqIDEを入れて試してみたが、 どうもCoqIDEの動きがおかしい。時々固まったり変な動作をする。 周りの人に相談したところ 「CoqIDEは使いものにならないからProof Generalを使え」 と言われたのでProof Generalとやらを入れてみた。 Emacs上で動く便利なものらしい。 以下はただのメモ書き。 * ダウンロード * 公式サイトからダウンロードする。 現時点のバージョンは4.0のようだ。 * インストール * 公式サイトの説明に従い、ファイルを展開して、 .emacsにload-fileを追加。 試しにEmacsで拡張子がvのファイルをひらいてみるが、 「Emacsのバージョンが23.1じゃないからダメ」 と怒られる。これまた公式サイトの説明に従いmake。 make clean make compile EMACS=`
Proof General
What is Proof General? Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs. Proof General has been developed at the LFCS in the University of Edinburgh, mainly by David Aspinall, with contributions from other sites. It is distributed under the conditions of the GNU General Public License v3.0
bzrは死につつある。Emacsは移行しなければならない
bzr is dying; Emacs needs to move Emacsのソースコードは、Bazaarでバージョン管理されてきた。しかし、Bazaarは分散バージョン管理システムとしては、Gitに敗北したし、もはや死につつある。Eric S. Raymondは、Emacsは他のバージョン管理システムに移行しなければならないと書いている。 私がこの投稿をしている理由は、バージョン管理システムとその周辺ツールのエキスパートとしての責務であって、この議論に参加したいがためではない。 bzrバージョン管理システムは死につつある。ほとんどの点で、もはや死んでいる。dev listは死んでいるし、Canonicalのほとんどの内部プロジェクトはbzrを捨ててgitを使っているし、古参開発者の一人が、なぜbzrが失敗したかについて書いている: http://www.stationary-trave
Emacsのモダンなライブラリ4+1選 (2013年版) - Qiita
このライブラリ群はEmacsに不足している名前がわかりやすい関数、他の言語では提供されているデータ構造を操作する便利な関数を提供してくれます。このライブラリを使うと、プラグインや、スクリプトを作るのがすごく楽になります。 +1の部分であるCaskは、ライブラリというよりプラグインなので別にしてます。 それぞれどんなライブラリか、かいつまんで紹介します。 dash.el dash.elは、Emacsのリスト操作APIを提供するライブラリです。このライブラリは、かなりEmacsのリスト操作を分かりやすく、補完してくれるライブラリになっています。 リスト操作に関連してか、 Clojureのスレッディングマクロ On Lispで紹介されているアナフォリックマクロ バインドという機能 木構造の操作のAPI など様々なものを提供しています。 メリットとしては、 もっと関数型言語っぽく書ける リスト操作
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
bwin·必赢(中国)唯一官方网站
GitHub - jfeltz/emamux-ghci: tmux GHCI controller for Emacs
GitHub - zk-phi/magic-latex-buffer: Magical syntax highlighting for LaTeX-mode buffers
GitHub - haskell/stylish-haskell: Haskell code prettifier
Coq Extaction to Emacs Lisp / Common Lisp
GitHub - maximkulkin/hdevtools: Persistent GHC-powered background server for FAST haskell development tools