SaswatPadhi/LoopInvGen SaswatPadhi/LoopInvGen

  • This repository has been archived on 16/Mar/2024
  • Stars
    star
    56
  • Rank 519,743 (Top 11 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 7 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SaswatPadhi/LoopInvGen
github

SaswatPadhi

Reviews

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

Repository Details

Generates loop invariants for program verification

More Repositories

1

pseudocode.js

Beautiful pseudocode for the Web
JavaScript
190
star
2

jekyll_smilify

A Liquid filter to transform text emoticons to smiley images.
Ruby
7
star
3

Compositus

A fast, highly efficient plagiarism detection tool.
C++
4
star
4

purity-jekyll-theme

Meet Purity - a clean, blazing-fast, highly configurable theme for Jekyll.
CSS
4
star
5

libway2sms

A PHP function to send SMS to any Indian mobile number by cURLing Way2SMS
PHP
2
star
6

saswatpadhi.github.io

Code for my personal webpage.
HTML
2
star
7

FlashProfileDemo

C#
2
star
8

ExcelSynth

An enumerative synthesizer for recovering Excel formulas from CSVs.
OCaml
1
star
9

ocaml-logicalform

OCaml
1
star
10

prismjs-bibtex

A language definition for BibTeX in the PrismJS syntax highlighting framework.
JavaScript
1
star