michael-emmi/bam-bam-boogieman michael-emmi/bam-bam-boogieman

  • This repository has been archived on 11/Mar/2024
  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Boogie
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
michael-emmi/bam-bam-boogieman
github

michael-emmi

Reviews

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

Repository Details

Boogie AST Manipulator

More Repositories

1

violat

TypeScript
10
star
2

ct-fuzz

C++
9
star
3

ctverif

JavaScript
5
star
4

bibly

Convert dblp keys into BibTeX entries.
TypeScript
5
star
5

ct-verif-images

Shell
4
star
6

imdea-controls

A script to control the room temperature and blinds at the IMDEA Software Institute.
Ruby
2
star
7

c2s-ocaml

OCaml
1
star
8

auto-commit

Ruby
1
star
9

ipod-extraction

Ruby
1
star
10

2up

Save paper by printing every two pages on a single page.
Shell
1
star
11

printlncs

Save paper by printing every two pages of LNCS proceedings on a single page, without scaling.
JavaScript
1
star