SaswatPadhi/ExcelSynth SaswatPadhi/ExcelSynth

  • Stars
    star
    1
  • Language
    OCaml
  • License
    MIT License
  • Created almost 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SaswatPadhi/ExcelSynth
github

SaswatPadhi

Reviews

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

Repository Details

An enumerative synthesizer for recovering Excel formulas from CSVs.

More Repositories

1

pseudocode.js

Beautiful pseudocode for the Web
JavaScript
190
star
2

LoopInvGen

Generates loop invariants for program verification
OCaml
56
star
3

jekyll_smilify

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

purity-jekyll-theme

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

Compositus

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

libway2sms

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

saswatpadhi.github.io

Code for my personal webpage.
HTML
2
star
8

FlashProfileDemo

C#
2
star
9

ocaml-logicalform

OCaml
1
star
10

prismjs-bibtex

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