TikhonJelvis/imp TikhonJelvis/imp

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TikhonJelvis/imp
github

TikhonJelvis

Reviews

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

Repository Details

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

More Repositories

1

RL-book

Python
511
star
2

Simple-Prolog

A simple Prolog interpreter
Haskell
43
star
3

Cow

Semantic Version Control mk II.
Haskell
37
star
4

inductive-mazes

Code for my blog post "Generating Mazes with Inductive Graphs"
Haskell
36
star
5

modular-arithmetic

A useful type for working with integers modulo some constant.
Haskell
30
star
6

array-forth

A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
Haskell
26
star
7

Reactive-Life

A functional reactive GUI for John Conway's Game of Life.
Haskell
25
star
8

talks

Slides for my talks at various meetups.
JavaScript
21
star
9

dotfiles

Most of my system configuration files.
Emacs Lisp
20
star
10

maze

A simple JavaScript utility for drawing mazes as well as a program to find some statistics about them.
JavaScript
10
star
11

Semantic-Version-Control

A project for the 2011 Yahoo hackathon at Berkeley
JavaScript
9
star
12

TPL

A silly little programming language.
Haskell
9
star
13

javascript-card-games

Automatically exported from code.google.com/p/blarg
HTML
8
star
14

js-scheme

A Scheme interpreter written in JavaScript
JavaScript
6
star
15

reflex-ui

A rough draft of a higher-level UI framework Reflex FRP and Reflex DOM.
Haskell
5
star
16

website

My website.
HTML
4
star
17

array-forth-sketch

Some utilities for generating array-forth programs to run on the sketch synthesizer.
Haskell
4
star
18

simulation

A 2D polygon collision simulation originally written for A.S. physics in 2009.
Java
4
star
19

Maptac-Chess

A JavaScript chess game written in high school
JavaScript
3
star
20

mote-el

An Emacs minor mode for interactive Haskell development with Mote
Emacs Lisp
3
star
21

adaptive-radix-trees

A Haskell implementation of (persistent) adaptive radix trees.
Haskell
2
star
22

cs164-mode

A simple Emacs mode for the cs164 language
Emacs Lisp
2
star
23

array-forth-mode

An Emacs mode for editing arrayForth and colorForth.
Emacs Lisp
2
star
24

Gosu-Mode

A set of Emacs modes for the Gosu language.
Emacs Lisp
1
star
25

old-resume

The LaTeX files for my resume
TeX
1
star
26

Silly-Chat

A simple node js chat server and client using Comet; nothing special.
JavaScript
1
star
27

Random-JS

Just some random JavaScript utilities.
JavaScript
1
star
28

ProgViz

A visual debugger that helps you visualize algorithms as you're writing them
JavaScript
1
star
29

haskell-project-mode

A minor mode for managing multiple Haskell projects.
Emacs Lisp
1
star
30

resume

My resume
Nix
1
star
31

seven-guis-reflex

a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark
Haskell
1
star