Skip to content
View bjartem's full-sized avatar
1 follower · 3 following
  • Oslo, Norway
  • 08:19 (UTC +01:00)

Block or report bjartem

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

5 stars written in Emacs Lisp
Clear filter

haskell / haskell-mode

Emacs mode for Haskell

Emacs Lisp 1,381 351 Updated Feb 6, 2026

ProofGeneral / PG

This repo is the new home of Proof General

Emacs Lisp 547 100 Updated Jan 24, 2026

cpitclaudel / company-coq

A Coq IDE build on top of Proof General's Coq mode

Emacs Lisp 359 30 Updated Aug 17, 2025

emacsorphanage / reverse-theme

Emacs color theme of reverse(like 'emacs --reverse-video')

Emacs Lisp 12 3 Updated Oct 31, 2015

psii / alloy-mode

Forked from torus/alloy-mode

Emacs major mode for Alloy

Emacs Lisp 1 2 Updated Mar 19, 2013