Misc
A simple GUI for OneDrive Linux client with multi-account support.
TAXI: a Taxonomy Induction Method based on Lexico-Syntactic Patterns, Substrings and Focused Crawling
[KDD 2020] This is the code repository for our KDD'20 paper STEAM: Self-Supervised Taxonomy Expansion with Mini-Paths.
LexNET: Integrated Path-based and Distributional Method for Lexical Semantic Relation Classification
code and data for paper "GIANT: Scalable Creation of a Web-scale Ontology"
Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy
A python package that provides useful locks.
Interactive visualizations of Terraform dependency graphs using d3.js
🚀 Bring your favorite shell wherever you go through the ssh. Xonsh shell, fish, zsh, osquery and so on.
Generic interface for monitoring task progress in Python.
cve-search - a tool to perform local searches for known vulnerabilities
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
The lazier way to manage everything docker
Armada is a tool for writing, and proving correct, high-performance concurrent programs.
A language for symbolic transitions system, inspired by Ivy.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Synthesizing SQL queries from input / output examples
Extract jsonschema from various Python objects
A bot navigation file editor for Quake 2021 re-release
A repository with navigations for Quake 2021 Enhanced bots.
Quake QC intended to be used as base for modding Quake Enhanced
A cross-platform utility to convert between .nav and .navjson files.
An utility program to edit Quake 2021 Enhanced mapdb.json files
A .NET Core library to handle Quake 2021 Re-Release bot navigation files in .nav and .navjson format.