metakirby5/predicate-synthesis

Stars
1
Language
License
MIT License
Created almost 7 years ago
Updated almost 7 years ago

metakirby5/predicate-synthesis

metakirby5

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

Synthesis of refinement type predicates from Horn constraints.

codi.vim

📔 The interactive scratchpad for hackers.

yorha

🤖 CSS based on Nier Automata's interface design language.

colorz

🎨 A k-means color scheme generator.

zenbu

🏮 A Jinja2 + YAML based config templater.

.dots

💻 All of my dotfiles.

whizkers

🐭 mustache + YAML based config templater

scripts

📜 A collection of scripts I have found or written.

astral

🌌 A virtual reality solar system visualizer.

jetpack

🚀 Webpack + Coffeescript + Stylus + React boilerplate.

webcon

🐚 Control your computer through shell commands from a barebones web interface.

lemonblocks

🍋 Node.js based lemonbar builder

smartcrop

smartly crop an image

mpx

🔌 A command multiplexer.

resume

📄 A YAML-based resume.

pebble-watchface-kirby

Pebble Tutorial 1

askkav.in

A joke website for my friend.

eon_break

Stepmania simfiles for VIRTUAL SELF - EON BREAK

cse130-exams

Solutions for old CSE 130 exams.

pebble-watchface-kirby-daynight

A Kirby watchface, responsive to day/night

talker

Basic "talking" application to show an animated character talking with an audio stream.

variety-hb-quotes

Variety (wallpaper changer @ http://peterlevi.com/variety/) plugin to pull quotes from Hummingbird.me