vadimkantorov/repl Fork of leanprover-community/repl

A simple REPL for Lean 4, returning information about errors and sorries.

Language: Lean - Size: 149 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

vadimkantorov/LeanInteract Fork of augustepoiroux/LeanInteract

LeanInteract: A Python Interface for Lean 4

Language: Python - Size: 124 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

vadimkantorov/vadimkantorov.com

vadimkantorov.github.com

Language: HTML - Size: 877 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

vadimkantorov/moncmsblog

Language: HTML - Size: 1.65 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

vadimkantorov/dotnetlibtorch

The simplest possible interfacing of C# and libtorch via DLPack P/Invoke wrapper around C function and structures

Language: C# - Size: 62.5 KB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1

vadimkantorov/discordspeechtotext

Discord Speech-To-Text bot in Python using Google Cloud Speech-To-Text API

Language: Python - Size: 28.3 KB - Last synced at: 26 days ago - Pushed at: almost 5 years ago - Stars: 22 - Forks: 6

vadimkantorov/caffemodel2pytorch

Convert Caffe models to PyTorch

Language: Python - Size: 80.1 KB - Last synced at: 29 days ago - Pushed at: about 2 years ago - Stars: 391 - Forks: 83

vadimkantorov/ctc

Primer on CTC implementation in pure Python PyTorch code

Language: Python - Size: 48.8 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 103 - Forks: 15

vadimkantorov/busyboxnanozipdiff3

Build script of BusyBox for WebAssembly (wasm) using Emscripten

Language: C - Size: 72.3 KB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 8

vadimkantorov/mpegflow

A tool for easy extraction of motion vectors stored in video files

Language: C++ - Size: 1.52 MB - Last synced at: 25 days ago - Pushed at: about 6 years ago - Stars: 266 - Forks: 61

vadimkantorov/moncmsold

Language: JavaScript - Size: 40.8 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

vadimkantorov/moncmstest

Language: TypeScript - Size: 10.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

vadimkantorov/packfs

Demo of abusing libarchive to make LD_PRELOAD-based overrides of file-related functions

Language: C - Size: 422 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

vadimkantorov/lexical-cli-render

Primer script for rendering lexical editor state to html

Language: TypeScript - Size: 35.2 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

vadimkantorov/wemosetup

A simple Python script to set up WeMo devices

Language: Python - Size: 84 KB - Last synced at: 26 days ago - Pushed at: 3 months ago - Stars: 18 - Forks: 4

vadimkantorov/ffmpeg_triton_backend

WIP

Language: C++ - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

vadimkantorov/webrtcvadctypes

Language: Python - Size: 138 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

vadimkantorov/libarchive Fork of libarchive/libarchive

Multi-format archive and compression library

Language: C - Size: 26.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

vadimkantorov/perlpack

Primer on a fully self-contained, statically linked build of Perl embedding in the binary system .pm files and any other files

Language: C - Size: 142 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

vadimkantorov/contextlocnet

ContextLocNet: Context-aware Deep Network Models for Weakly Supervised Localization (ECCV 2016)

Language: Lua - Size: 5.95 MB - Last synced at: 26 days ago - Pushed at: about 8 years ago - Stars: 87 - Forks: 23

vadimkantorov/perlemscripten

Script for basic build of recent Perl with Emscripten

Size: 20.5 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

vadimkantorov/natudump

Scraping LegiFrance naturalisation decrees for fun and OSINT profit

Language: Python - Size: 57.6 KB - Last synced at: 26 days ago - Pushed at: almost 2 years ago - Stars: 11 - Forks: 0

vadimkantorov/convdia

Language: Jupyter Notebook - Size: 333 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

vadimkantorov/wpssg

Primer of running WordPress as a Static Site Generator (SSG) with Markdown content

Size: 85 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

vadimkantorov/wasm-iconv

iconv program (from GNU libiconv) compiled to WebAssembly with Emscripten

Language: HTML - Size: 1.52 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

vadimkantorov/tritonservercppsharp

Example of generating C# bindings to the C-API interface of Triton Inference Server using the CppSharp tool

Size: 61.5 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

vadimkantorov/libarchivedd

libarchive primer of printing byte offsets/sizes for uncompressed entries in formats: TAR, ISO, ZIP

Language: C - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

vadimkantorov/tritonserverstringproc

Example string processing pipeline on Triton Inference Server

Language: Python - Size: 67.4 KB - Last synced at: 26 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 1

vadimkantorov/busyz

zip-like utility primer with miniz

Language: C - Size: 119 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

vadimkantorov/inferspeech

PyTorch speech2text inference script for the NVidia openseq2seq wav2letter model variant

Language: Python - Size: 85.9 KB - Last synced at: 26 days ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 4

vadimkantorov/convasr

Baseline convolutional ASR system in PyTorch

Language: HTML - Size: 4.32 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 4

vadimkantorov/readaudio

Read audio with FFmpeg into NumPy/PyTorch via ctypes (standard library module)

Language: C - Size: 65.4 KB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 2

vadimkantorov/fastvideofeat

Efficient feature extraction, aggregation and classification for action recognition (CVPR 2014)

Language: TeX - Size: 71.6 MB - Last synced at: 2 months ago - Pushed at: over 9 years ago - Stars: 112 - Forks: 59

vadimkantorov/zrxiv

Language: HTML - Size: 1.61 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 1

vadimkantorov/nanojekyll

Hacky reimplementation of https://github.com/jekyll/jekyll in Python for porting personal blog away from Jekyll

Language: Python - Size: 75.2 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

vadimkantorov/notionexportstatic

Retrieves page content from Notion API and transforms it to HTML or Markdown

Language: HTML - Size: 1.45 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

vadimkantorov/lexical-playground-only

Language: TypeScript - Size: 1.87 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

vadimkantorov/minimapython

Primer on single-file Python static site generator based on Jekyll's minima theme

Language: Python - Size: 167 KB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

vadimkantorov/minimacss

Compiled SASS styles from https://github.com/jekyll/minima for use "as is" in CSS-only small static website projects

Language: SCSS - Size: 119 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/tsp-bb

Implementation of branch-and-bound for TSP in C++

Language: C++ - Size: 30.3 KB - Last synced at: 26 days ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 7

vadimkantorov/burgermenuzoo

Language: HTML - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/selective_search_pytorch

Selective Search reimplementation in PyTorch that allows to extract not only the bounding boxes, but also the region masks

Language: C++ - Size: 8.09 MB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

vadimkantorov/caffemodel2json

A small tool to dump Caffe's *.caffemodel to JSON for inspection

Language: Python - Size: 21.5 KB - Last synced at: 26 days ago - Pushed at: about 7 years ago - Stars: 41 - Forks: 24

vadimkantorov/metriclearningbench

Metric learning models in PyTorch with results on CUB2011, CARS196, Stanford Online Products

Language: Python - Size: 78.1 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 65 - Forks: 15

vadimkantorov/vadimkantorov.github.io

Language: HTML - Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/testjekyll

Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/testlexical

Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/yet_another_pytorch_slot_attention

Reimplementation of Slot Attention (object discovery task) in PyTorch with converted checkpoint

Language: Python - Size: 120 KB - Last synced at: 26 days ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 1

vadimkantorov/closed_form_matting_pytorch

Language: Python - Size: 110 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

vadimkantorov/mask2cad_pytorch

Language: Python - Size: 559 KB - Last synced at: 26 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 2

vadimkantorov/kmeans

Language: Python - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/fastmlp

[WIP] PyTorch bindings for cublasLt with an example of quantized i8f16 MLP

Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/googlecontactscrm

Language: Python - Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/librariumdump

Language: Python - Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/NeMo Fork of NVIDIA/NeMo

NeMo: a toolkit for conversational AI

Size: 219 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/tfcheckpoint2pytorch

Converts TensorFlow checkpoints (with index, meta and data files) to PyTorch, HDF5 and JSON

Language: Python - Size: 18.6 KB - Last synced at: 26 days ago - Pushed at: about 4 years ago - Stars: 18 - Forks: 5

vadimkantorov/open_stt_splits

Language: Python - Size: 43 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

vadimkantorov/DiffusionDet Fork of ShoufaChen/DiffusionDet

PyTorch implementation of DiffusionDet (https://arxiv.org/abs/2211.09788)

Language: Python - Size: 949 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/DiffusionInst Fork of chenhaoxing/DiffusionInst

This repo is the code of paper "DiffusionInst: Diffusion Model for Instance Segmentation".

Size: 4.44 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/busytextest

Language: TeX - Size: 9.24 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/busyidetest

Size: 51.8 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

vadimkantorov/cv

Language: TeX - Size: 702 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/eventmaptestgithubactions

Language: HTML - Size: 6 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/eventmaptest2

Language: HTML - Size: 6.7 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/eventmap

Language: HTML - Size: 6 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

vadimkantorov/.vim

My vim settings

Language: Vim Script - Size: 11.7 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vadimkantorov/torchwav

Adaptation of wave and scipy.io.wavfile for reading .WAV audio format in PyTorch

Language: Python - Size: 69.3 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

vadimkantorov/paws

Minimal scripts for spinning EC2 instances and running Deep Learning jobs

Language: Python - Size: 179 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

vadimkantorov/pydlpack

Create a DLPack tensor in plain C library, wrap DLPack structures in Python, import DLpack tensor into NumPy / PyTorch

Language: C - Size: 38.1 KB - Last synced at: 26 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

vadimkantorov/academicpages.github.io Fork of academicpages/academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language: JavaScript - Size: 47.8 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

vadimkantorov/fasttsv

TSV parser for Python in pure vectorized NumPy code

Language: Python - Size: 24.4 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

vadimkantorov/DETReg Fork of amirbar/DETReg

Language: Python - Size: 793 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

vadimkantorov/yet_another_pytorch_motiongrouping

[WIP] Early reimplementation of https://charigyang.github.io/motiongroup/

Language: Python - Size: 46.9 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

vadimkantorov/vadimkantorov

Size: 2.93 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

vadimkantorov/localvideokernel

WIP

Language: Cuda - Size: 67.4 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

vadimkantorov/buildwsl1perl5

Build test of Perl5 on WSLv1, Ubuntu 20.04

Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vadimkantorov/busytext

Size: 82.3 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vadimkantorov/dotnetdlpack

C# p/invoke bindings for DLPack

Language: C - Size: 20.5 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vadimkantorov/spotty Fork of spotty-cloud/spotty

Train Deep Learning models on AWS Spot Instances

Language: Python - Size: 834 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

vadimkantorov/echomsk

Crawler and parser utilities for Russian talk radio echo.msk.ru

Language: Python - Size: 95.7 KB - Last synced at: 26 days ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 0

vadimkantorov/UBR

Language: Python - Size: 246 KB - Last synced at: 2 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

vadimkantorov/wigwam

A humane dependency fetcher for scientific projects

Language: Python - Size: 366 KB - Last synced at: 26 days ago - Pushed at: almost 7 years ago - Stars: 10 - Forks: 5

vadimkantorov/deepspeech.pytorch Fork of snakers4/deepspeech.pytorch

Speech Recognition using DeepSpeech2.

Language: Python - Size: 520 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

vadimkantorov/zrxiv_test

Size: 1000 Bytes - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

vadimkantorov/zrxiv_

Language: JavaScript - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

vadimkantorov/prostoboxes

A one-file, zero-dependency bounding box image annotation HTML user interface

Language: Python - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

vadimkantorov/okwhen.date

A fast, static, single-page meeting scheduler

Language: HTML - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

vadimkantorov/vosges

Vosges is a simple Python tool for generating and running Sun Grid Engine (SGE) jobs, with a nice HTML dashboard

Language: Python - Size: 126 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

vadimkantorov/vladivostoktelephonedirectory.xyz

Size: 2.7 MB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

vadimkantorov/gittex

Language: JavaScript - Size: 81.1 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

vadimkantorov/dfyz

the code that http://twitter.com/i_komarov loves but won't save anywhere

Language: C++ - Size: 367 KB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

vadimkantorov/summerschools.info

theultimatesummerschoolreference

Language: JavaScript - Size: 810 KB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

vadimkantorov/mva

Code written for MVA machine learning masters at ENS de Cachan (2011-2012)

Language: C# - Size: 16 MB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

vadimkantorov/urfu

Code written while doing BSc in Computer Science at Ural Federal University

Language: C++ - Size: 8.94 MB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

vadimkantorov/highschool

Code written while in high school

Language: C# - Size: 5.52 MB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

vadimkantorov/acm

competitive programming code

Language: C++ - Size: 730 KB - Last synced at: 2 months ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 1