ilitzroth

Pinned Repositories

ghc-rts.el
Start ghc runtime system in emacs.
Language:Emacs Lisp2 1 00
gst-vmbsrc
Official vmbsrc element for use of Vimba X with GStreamer
Language:C0 0 00
haskell-mode
Emacs mode for Haskell
Language:Emacs Lisp0 0 00
hedis
A Redis client library for Haskell.
Language:Haskell0 2 00
hugo
The world’s fastest framework for building websites.
Language:Go0 0 00
lean
Lean Theorem Prover
Language:C++0 0 00
lean-mode
Emacs mode for Lean
Language:Emacs Lisp0 0 00
lean-mode-contrib
Language:Emacs Lisp0 0 00
logview
Emacs mode for viewing log files
Language:Emacs Lisp0 0 00

ilitzroth's Repositories

ilitzroth/ghc-rts.el
Start ghc runtime system in emacs.
Language:Emacs Lisp2 1 00
ilitzroth/gst-vmbsrc
Official vmbsrc element for use of Vimba X with GStreamer
Language:C0 0 00
ilitzroth/haskell-mode
Emacs mode for Haskell
Language:Emacs Lisp0 0 00
ilitzroth/hedis
A Redis client library for Haskell.
Language:Haskell0 2 00
ilitzroth/hugo
The world’s fastest framework for building websites.
Language:Go0 0 00
ilitzroth/lean
Lean Theorem Prover
Language:C++0 0 00
ilitzroth/lean-mode
Emacs mode for Lean
Language:Emacs Lisp0 0 00
ilitzroth/lean-mode-contrib
Language:Emacs Lisp0 0 00
ilitzroth/logview
Emacs mode for viewing log files
Language:Emacs Lisp0 0 00
ilitzroth/mathlib
Lean mathematical components library
Language:Lean0 0 00
ilitzroth/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp0 0 00
ilitzroth/pyvenv
Python virtual environment interface for Emacs
Language:Emacs Lisp1 0
ilitzroth/seastar-oio
High performance server-side application framework
Language:C++0 0