dschoepe/spacemacs-boogie-friends dschoepe/spacemacs-boogie-friends

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Emacs Lisp
  • Created almost 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dschoepe/spacemacs-boogie-friends
github

dschoepe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Spacemacs layer for working with Dafny, Boogie, and Z3

More Repositories

1

wallabag-kindle

Python
17
star
2

bibfetch

Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
Perl
7
star
3

tud-mensa

Small program to display the TU Darmstadt cafeteria menu on the command line
Haskell
5
star
4

rmv-query

Command-line tool for querying the route information of the German transport association RMV
Haskell
2
star
5

notmuch-snooze

Support for snoozing messages in the notmuch mail client
Emacs Lisp
2
star
6

vt

Command-line vรคsttrafik client
Python
1
star
7

fmis-agda

Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012
1
star