<commit_before>---
layout: default
---
<div class="jumbotron">
  <div class="container">
    <div class="row">
    <div class="col-xs-offset-0 col-xs-8 col-sm-6 col-sm-offset-2">
      <img class="img-rounded"
	   src="http://www.people.fas.harvard.edu/~gmalecha/gregory.jpg"
	   width="150pt" style="float:left; clear: left; margin-right: 10pt;"/>
      <h2><NAME></h2>
      gmalecha at cs.harvard.edu
    </div>
    <div class="col-xs-4 col-sm-2 col-md-pull-0 text-center">
      <img src="https://festival.sdaff.org/2012/files/2012/09/UCSD.gif"
	   height="80pt" />
      <br/><br/>
      <img src="http://www.people.fas.harvard.edu/~gmalecha/SEAS_logo.png"
	   height="80pt" />
    </div>
    </div>
  </div>
</div>

<div class="container">
  <div class="row">
    <div class="col-xs-6 col-sm-4 col-sm-offset-2 col-md-4 col-md-offset-2 col-lg-3 col-lg-offset-3">
      <h2 class="text-center">ExtLib</h2>
      <p class="text-center">ExtLib reinvisions the Coq standard library to be a little more Haskell like. It focuses on first-class abstractions, organized (rather than organic) library layout, and mostly non-dependent types.</p>
      <p class="text-center"><a class="btn btn-default" href="//github.com/coq-ext-lib/coq-ext-lib#" role="button">View details &raquo;</a></p>
    </div>
    <div class="col-xs-6 col-sm-4 col-md-4 col-lg-3">
      <h2 class="text-center">MirrorCore</h2>
      <p class="text-center">MirrorCore is my thesis work on making computational reflection compositional. It features a higher-order extensible reflective language as well as a fully-reflective tactic language similar to Ltac.</p>
      <p class="text-center"><a class="btn btn-default" href="//github.com/gmalecha/mirror-core" role="button">View details &raquo;</a></p>
    </div>
    <div class="col-lg-4"><commit_msg>removing ucsd logo (until I am officially there)<commit_after>---
layout: default
---
<div class="jumbotron">
  <div class="container">
    <div class="row">
    <div class="col-xs-offset-0 col-xs-8 col-sm-6 col-sm-offset-2">
      <img class="img-rounded"
	   src="http://www.people.fas.harvard.edu/~gmalecha/gregory.jpg"
	   width="150pt" style="float:left; clear: left; margin-right: 10pt;"/>
      <h2><NAME></h2>
      gmalecha at cs.harvard.edu
    </div>
    <div class="col-xs-4 col-sm-2 col-md-pull-0 text-center">
{% comment %}
      <img src="https://festival.sdaff.org/2012/files/2012/09/UCSD.gif"
	   height="80pt" />
      <br/><br/>
{% endcomment %}
      <img src="http://www.people.fas.harvard.edu/~gmalecha/SEAS_logo.png"
	   height="80pt" />
    </div>
    </div>
  </div>
</div>

<div class="container">
  <div class="row">
    <div class="col-xs-6 col-sm-4 col-sm-offset-2 col-md-4 col-md-offset-2 col-lg-3 col-lg-offset-3">
      <h2 class="text-center">ExtLib</h2>
      <p class="text-center">ExtLib reinvisions the Coq standard library to be a little more Haskell like. It focuses on first-class abstractions, organized (rather than organic) library layout, and mostly non-dependent types.</p>
      <p class="text-center"><a class="btn btn-default" href="//github.com/coq-ext-lib/coq-ext-lib#" role="button">View details &raquo;</a></p>
    </div>
    <div class="col-xs-6 col-sm-4 col-md-4 col-lg-3">
      <h2 class="text-center">MirrorCore</h2>
      <p class="text-center">MirrorCore is my thesis work on making computational reflection compositional. It features a higher-order extensible reflective language as well as a fully-reflective tactic language similar to Ltac.</p>
      <p class="text-center"><a class="btn btn-default" href="//github.com/gmalecha/mirror-core" role="button">View details &raquo;</a></p>
    </div>
    <div class="col-lg-4">
{'fraction_non_alphanumeric': 0.18152350081037277, 'fraction_numerical': 0.02377093462992977, 'mean_word_length': 3.356470588235294, 'pattern_counts': {'":': 0, '<': 85, '<?xml version=': 0, '>': 85, 'https://': 2, 'lorem ipsum': 0, 'www.': 4, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '281937', 'n_tokens_mistral': 1387, 'n_tokens_neox': 1314, 'n_words': 292}