rybla/IMP-Interpreter rybla/IMP-Interpreter

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rybla/IMP-Interpreter
github

rybla

Reviews

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

Repository Details

This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.

More Repositories

1

shape-lang-purs

A well-typed structural editor.
PureScript
5
star
2

zypr

A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.
PureScript
4
star
3

SuperSoccer

A JS game using phaser.io that requires PS3 controllers to play. 2-Player
JavaScript
2
star
4

eval-via-norm

Evaluation by normalization
Agda
2
star
5

Graphics-389---Notes

Notes for my graphics class at reed college. Projects are kept in a seperate repository.
HTML
1
star
6

philosophical-consistency-test

JavaScript
1
star
7

crystal_genealogy

A simple genealogy model written in crystal.
Crystal
1
star
8

shape-lang

TypeScript
1
star
9

monadic-quicksort-verification

A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
SMT
1
star
10

itse

A simple self-typed language (system S) for lambda-encoded data-types.
Haskell
1
star
11

musicgenerator

This is a program that generates tones according to algorithms that may end up sounding like music
JavaScript
1
star
12

Lingua

Implementations of and reasonings about a variety of simple functional languages, in Agda.
Agda
1
star
13

QR-Code-Scanner

This is a simple html/js structure for implementing the use of http://goqr.me to generate QR codes
JavaScript
1
star
14

Functive

A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.
Haskell
1
star
15

Python_Genealogy_2

Creates a genealogy similar to a biological system. Enacts selection using fitnesses based on age, amount of children, and a trait (color). Includes support for generating a Graphviz graph of the genealogy, where color represents trait.
Python
1
star
16

Textual

A simple text editor for iOS that integrates directly with iOS Files.
Swift
1
star
17

GenealogyModel3

A reimplementation of GenealogyModel. Meant to be faster and more modular, with API for external experiments, importing, and exporting.
Python
1
star