hariuserx Goto Github PK

cogent

Proof-Code Cogeneration

compiler-trojan-horse

A sample implementation of KEN THOMPSON's Reflections on Trusting Trust

decentedge

DecentEdge implementation and evaluation modules

emr-on-eks-benchmark

Fork with Iceberg TPCDS 2_13 tests

fooling-aws-certificate-manager-domain-validation

golang-benchmarks

Benchmarking performance of buffered, unbuffered channels and mutex

hariuserx.github.io

maxentscan_server

A server for MaxEntScan based on Mojolicious

minheap

Java and C++ implementations of Min heap with and without arrays

molecular_formula_parser

A generic formula parser for molecules

monitor-log-file

Template to monitor log files continuously. When new lines appear, checks if there are errors

nftoffchain

postgresql-middleware

Middleware for PostgreSQL Database Replication, Failover and Recovery

simple-paxos

Single decree Paxos implementation with asynchronous tests using a mock Transport Layer

singapore_ski

A quick and dirty solution to Skiing in Singapore - a coding diversion from redmart.

sokoban

Sokoban solver using Q-Learning. Project part of the course CS 271.

solutions-4clojure

All solutions to 4Clojure

svn-fetch-new-folders-sparsely

A Utility Script to fetch new folders in an SVN working copy sparsely

vim_cheat_sheet

My quick reference to some good vim commands and features

vim_sentence_auto_complete

A sentence auto completer plugin for VIM with a resource file containing most frequent sentences.

vis

Ellipsoids for vis.js. vis.js is a dynamic, browser-based visualization library

ziggurat

A stream processing framework to build stateless applications on Kafka