Skip to content

Instantly share code, notes, and snippets.

View jurgenvinju's full-sized avatar
🚠
in the lift

Jurgen J. Vinju jurgenvinju

🚠
in the lift
68 followers · 44 following
View GitHub Profile
@jurgenvinju
jurgenvinju / ListOffside.rsc
Created October 4, 2012 13:46
A working experiment (co-authored with @seba--) on implementing his disambiguation declarations for layout-sensitive languages in Rascal
@doc{an alternative to Offside.rsc which directly uses * lists instead of manual recursion}
module ListOffside
import IO;
start syntax Program = program: Def*;
lexical Id = [a-z]+;
syntax Def
@jurgenvinju
jurgenvinju / TestRecovery.rsc
Created October 4, 2012 14:19
A test file to experiment with the robust parsing feature of Rascal
module TestRecovery
extend lang::pico::\syntax::Main;
import util::IDE;
import ParseTree;
import IO;
public map[Production robust, CharClass lookaheads] robust
= (p:[range(10,10),range(59,59)] | /p:prod(label(_,sort("Statement")),_,_) := #Statement)
+ (p:[range(10,10),range(59,59),range(44,44)] | /p:prod(label(_,sort("IdType")),_,_) := #IdType);
@jurgenvinju
jurgenvinju / AR.rsc
Created February 20, 2013 20:48
Rascal module demonstrating Java code visualization. Two functions implement the same functionality, one generates a visualization inside Eclipse representing the inheritance hierarchy of an Eclipse Java project, the other generates a graphviz dot file with the same information. This code is intended to be a starting point for the students of TU…
module AR
import lang::java::jdt::JDT; // this module provides the API for extracting Java models
import lang::java::jdt::Java; // this module provides the model for Java
import Relation; // a stdlib module with practical API on relations
// these modules are needed to visualize graphs in the IDE
import vis::Figure;
import vis::Render;
@jurgenvinju
jurgenvinju / gist:5460118
Created April 25, 2013 14:27
Shell script to migrate some SVN repository from Eclipse to github
#! /bin/sh
set -e
repo=$1
mkdir ${repo}
cd ${repo}
echo "Creating repo on github"
curl -u 'jurgenvinju' https://api.github.com/orgs/impulse-org/repos -d "{\"name\":\"${repo}\",\"has_wiki\": false,\"has_issues\": false}"
@jurgenvinju
jurgenvinju / Clearness Numbered
Created May 31, 2013 05:31
CSS file with numberer headings for markdown rendering in Mou. Cloned from Clearness.css.
h1,
h2,
h3,
h4,
h5,
h6,
p,
blockquote {
margin: 0;
padding: 0;
@jurgenvinju
jurgenvinju / gist:8972255
Last active February 16, 2017 06:32
Example code to compute flow graphs for Java and some basic UML diagramming for TU Eindhoven students
module FlowGraphsAndClassDiagrams
import analysis::flow::ObjectFlow;
import lang::java::flow::JavaToObjectFlow;
import List;
import Relation;
import lang::java::m3::Core;
import IO;
import vis::Figure;
@jurgenvinju
jurgenvinju / proposal.tex
Created August 25, 2015 10:04
basic template for NWO Big Software proposal (no tables, don't blame me for errors)
\documentclass[twoside,a4]{article}
\usepackage{geometry}
\geometry{
a4paper,
total={210mm,297mm},
left=1in,
right=1in,
top=1.2in,
bottom=20mm,
@jurgenvinju
jurgenvinju / JavaToObjectFlow2.rsc
Created March 9, 2017 11:16
A "fixed" JavaToObjectFlow algorithm which does not ignore the references to values of primitive types. For maps, this version also lets the key flow into the receiver.
@doc{
Synopsis: mapping all of Java to the object flow language
Description:
More information can be found in [ObjectFlow].
}
module lang::java::flow::JavaToObjectFlow2
import IO;
@jurgenvinju
jurgenvinju / Recursion.rsc
Created March 27, 2017 08:18
some functions for analyzing a grammar
module lang::rascal::grammar::analyze::Recursion
import Grammar;
import ParseTree;
import analysis::grammars::Dependency;
import Relation;
set[Symbol] reachable(type[&T] g, Symbol s) {
res = {s};
@jurgenvinju
jurgenvinju / KMeans.rsc
Last active January 28, 2023 13:24
module analysis::learning::KMeans
import util::Math;
import List;
import Set;
import IO;
data Point = point(list[real] vec);
Point arbPoint(int d) = point([arbReal() | _ <- [0..d]]);