vzaliva/scripts_and_configs vzaliva/scripts_and_configs

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Emacs Lisp
  • Created about 8 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vzaliva/scripts_and_configs
github

vzaliva

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Personal scripts and config files

More Repositories

1

simpleproxy

Simple TCP proxy
C
47
star
2

otetris

OCaml Tetris
OCaml
23
star
3

helix

Formally verified operator language and rewriting engine for high-performance computing
Coq
23
star
4

BikeDashboard

Dashboard for stationary bike (FitDesk)
Java
4
star
5

opamdocker

Simple Docker container to build and run OCaml project using dependencies installed via OPAM
Shell
3
star
6

dashcam-browse

Vsysto Motorcycle Dashcam Web Browser
JavaScript
3
star
7

vcardgen

Simple OCaml library for generating VCards
OCaml
3
star
8

coq-switch

`switch` plugin for Coq
Coq
3
star
9

CoqPL19-paper

A paper submitted to CoqPL 2019 workshop
TeX
2
star
10

ecobee-collector

OCaml
2
star
11

cmu-ece-thesis-template

CMU ECE PhD Thesis LaTeX template
TeX
2
star
12

spiral-icode

iCode language definition, reference parser, and LLVM compiler
OCaml
2
star
13

coq-config

Coq project configuration script
Python
1
star
14

ljbackup

Command line backup script for LiveJournal.com. Suitable for running from CRON.
Perl
1
star
15

coq-log-analysis

Parse Coq log files and plot resolution trees
OCaml
1
star
16

coq-min-imports

Script to remove unnecessary module imports from Coq sourcess
OCaml
1
star