Skip to content

Instantly share code, notes, and snippets.

View vineethk's full-sized avatar

Vineeth Kashyap vineethk

14 followers · 0 following
View GitHub Profile
@vineethk
vineethk / aptos-oidb-zk-ceremony_attestation.log
Created February 25, 2024 20:37
Attestation for aptos-oidb-zk-ceremony MPC Phase 2 Trusted Setup ceremony
Hey, I'm vineethk-828050 and I have contributed to the aptos-oidb-zk-ceremony.
The following are my contribution signatures:
Circuit # 1 (main)
Contributor # 74
Contribution Hash: ea438628 47bd8ebe d713bcde e1809cfe
68483119 61ecc11e a8fe6ea2 5168f2ff
ab4b0542 fd7ddc64 bf9013b5 2fe8bd27
3f78e8b0 9b149767 c87251f5 64319bba
@vineethk
vineethk / minimakish.keymap
Created December 28, 2023 02:05
Glove 80 Keymap
/*
* Copyright (c) 2020 The ZMK Contributors
* Copyright (c) 2023 Innaworks Development Limited, trading as MoErgo
*
* SPDX-License-Identifier: MIT
*/
/* THIS FILE WAS GENERATED BY GLOVE80 LAYOUT EDITOR
@vineethk
vineethk / timeout_benchmark_file.sh
Created March 28, 2012 07:25
#!/bin/sh
./timeout.pl 20 ./benchmark_file.sh $1
@vineethk
vineethk / benchmark_file.sh
Created March 28, 2012 07:18
#!/bin/sh
FULL_PATH=$(readlink -f "$1")
cd /home/kyle/notjs/notjs
scala -cp lib/rhino.jar:target/scala-2.9.1/classes/ notjs.notabstract.NotJS $FULL_PATH
@vineethk
vineethk / Evals.scala
Created February 23, 2012 08:33
A Functional Correspondence between Evaluators and Abstract Machines
// Author: Vineeth Kashyap
// Email: vineeth@cs.ucsb.edu
// Section 2.1 Evaluators from the paper "A Functional Correspondence between Evaluators and Abstract Machines.
import scala.annotation.tailrec
object Eval0 {
sealed trait term
case class IND(i: Int) extends term
case class ABS(t: term) extends term