madhusudans Goto Github PK

ac2git

Tool to convert an AccuRev repository to Git.

angular-guild-api

angular-guild-ui

bap

Binary Analysis Platform

bert

TensorFlow code and pre-trained models for BERT

bitcoin

Bitcoin Core integration/staging tree

botman

Twitter bot for soccer updates

cairoplot

code-repo

Collection of projects

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

crafty-chess

All versions of the great Crafty chess engine by Dr. Robert Hyatt

ctci-6th-edition

Cracking the Coding Interview 6th Ed. Solutions

docs

Content of code.kx.com

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

log4j-detector

Scanner that detects vulnerable Log4J versions (CVE-2021-44228, CVE-2021-45046, etc) on your file-system within any application. It is able to even find Log4J instances that are hidden several layers deep. Works on Linux, Windows, and Mac, and everywhere else Java runs, too!

madhusudans.github.com

Personal Website

ocaml

The core OCaml system: compilers, runtime system, base libraries

pipelines

a language for scripting data flow

quillpad-server

Quillpad Server repository

servicestack

Thoughtfully architected, obscenely fast, thoroughly enjoyable web services for all

solidity

Solidity, the Contract-Oriented Programming Language

summarize.py

A python script for summarizing articles using nltk

sumy

Module for automatic summarization of text documents and HTML pages.

taskbook

Taskbook - collaborative task planning application

va-gerrymander

A map to remedy VA's unconstitutional House of Delegates districts, with accompanying analysis