smelc/proverif.vim

This repository has been archived on 30/Apr/2020
Stars
2
Language
Vim Script
License
The Unlicense
Created almost 9 years ago
Updated almost 9 years ago

smelc/proverif.vim

smelc

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

A vim mode for proverif's .pv files (http://prosecco.gforge.inria.fr/personal/bblanche/proverif/)

miso-darkcraw

Card game using Haskell miso

tn-fp-haskell-course

Functional Programming course for Telecom Nancy, using Haskell

kcg

Trial at a strategy card game using Kotlin and korge

srtcheck

Syntax checker for srt files (subtitles). Useful, for example, to catch decoding errors when transforming a utf-8 file to iso-8859-15 with gnome-subtitles (to put subtitles on the freebox HD).

hgamesrhogue

A library that I use in my roguelikes (Dungeon Mercenary and Rogue vs Evil). Only depends on the Java library, on my fork of SquidLib, and on hgameslib. This library contains roguelike-oriented code.

zzbot

flexible shell commands executor

pass-to-txt

Export your pass (https://www.passwordstore.org) content to stdout/text

zkm.vim

A vim mode for zkm script files (www.zelix.com/klassmaster/)

hgameslib

A library that I use in my roguelikes (Dungeon Mercenary and Rogue vs Evil). Only depends on the Java library. This library doesn't contain any roguelike-oriented code.