Discover @vzaliva Open Source projects

Vadim Zaliva (@vzaliva)

vzaliva

Stars
132
Global Rank 169,443 (Top 6 %)
Followers 42
Following 3
Registered over 15 years ago
Most used languages

OCaml
35.3 %

TeX
11.8 %

Coq 11.8 %

JavaScript
5.9 %

Emacs Lisp
5.9 %

Python
5.9 %

Perl
5.9 %

Shell
5.9 %

C
5.9 %

Java
5.9 %
Location 🇺🇸 United States
Country Total Rank 38,497
Country Ranking

Coq 38

OCaml
156

Emacs Lisp
1,066

TeX
2,109

C
3,379

Perl
3,484

simpleproxy

Simple TCP proxy

otetris

helix

Formally verified operator language and rewriting engine for high-performance computing

scripts_and_configs

Personal scripts and config files

BikeDashboard

Dashboard for stationary bike (FitDesk)

opamdocker

Simple Docker container to build and run OCaml project using dependencies installed via OPAM

dashcam-browse

Vsysto Motorcycle Dashcam Web Browser

vcardgen

Simple OCaml library for generating VCards

coq-switch

`switch` plugin for Coq

CoqPL19-paper

A paper submitted to CoqPL 2019 workshop

ecobee-collector

cmu-ece-thesis-template

CMU ECE PhD Thesis LaTeX template

spiral-icode

iCode language definition, reference parser, and LLVM compiler

coq-config

Coq project configuration script

ljbackup

Command line backup script for LiveJournal.com. Suitable for running from CRON.

coq-log-analysis

Parse Coq log files and plot resolution trees

coq-min-imports

Script to remove unnecessary module imports from Coq sourcess