This repository has been archived by the owner on Jul 4, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
/
software.html
76 lines (64 loc) · 5.95 KB
/
software.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<!DOCTYPE html>
<html lang="en"><head><meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<meta property="og:title" content="NEU PRL" />
<meta property="og:description" content="Programming Research Laboratory @ Northeastern&nbsp;University" />
<meta property="og:image" content="img/prl-bg.png" />
<title>Software - Programming Research Laboratory - Northeastern University</title>
<!-- Bootstrap -->
<link href="css/bootstrap.min.css" rel="stylesheet" />
<!-- Custom css -->
<link href="css/custom.css" rel="stylesheet" />
<!-- Fonts -->
<link href="https://fonts.googleapis.com/css?family=Ubuntu:300" rel="stylesheet" type="text/css" />
<link href="https://fonts.googleapis.com/css?family=PT+Sans" rel="stylesheet" type="text/css" />
<!-- For IE 9 and below. ICO should be 32x32 pixels in size -->
<!-- [if IE]><link rel="shortcut icon" href="img/favicon.ico"><![endif] -->
<!-- Firefox, Chrome, Safari, IE 11+ and Opera. 196x196 pixels in size. -->
<link rel="icon" href="img/favicon.png" />
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!-- [if lt IE 9] -->
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<!-- <![endif] --> </head>
<body id="pn-top"><nav class="navbar navbar-inverse"><div class="container"><div class="row"><div class="navbar-header"><button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"><span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span></button></div>
<div id="navbar" class="navbar-collapse collapse"><ul class="nav navbar-nav"><li role="presentation"><a href="./">Home</a></li><li role="presentation"><a href="people.html">People</a></li><li role="presentation"><a href="teaching.html">Teaching</a></li><li role="presentation"><a href="seminars.html">Seminars</a></li><li role="presentation" class="active"><a href="#">Software</a></li><li role="presentation"><a href="publications.html">Publications</a></li><li role="presentation"><a href="new-members.html">New Members</a></li><li role="presentation"><a href="contact.html">Contact</a></li><li role="presentation"><a href="blog/index.html">Blog</a></li></ul> </div></div></div></nav>
<div class="jumbotron subpages"><div class="container"><div class="row"><div class="col-md-12"><h1>Software</h1></div></div></div></div>
<div class="pn-main-wrapper"> <div class="content"><div class="container"><div class="row">We design, implement, and maintain software systems.
<div class="col-md-12"><h1 id="pn-anchor-home"><a href="http://racket-lang.org/"><img height="40" src="http://racket-lang.org/logo-and-text.png" /></a></h1></div>
<div class="col-md-12"><p>The Racket language is a vehicle for most of our research and teaching.</p>
<br />
<strong>Racket</strong> is a full-spectrum programming language. It goes beyond Lisp and Scheme with dialects that support objects, types, laziness, and more. Racket enables programmers to link components written in different dialects, and it empowers programmers to create new, project-specific dialects. Racket's libraries support applications from web servers and databases to GUIs and charts.</div>
<div class="col-md-12"><h1 id="pn-anchor-home"><a href="http://fiji-systems.com/"><img height="60" src="http://janvitek.github.io/img/fiji.gif" /></a></h1></div>
<div class="col-md-12"><p>The Fiji real-time JVM and Fiji C1 compiler run on on a broad range of HW/OS (ARM and ERC32 to PowerPC and x86/x86_64, from RTEMS to Linux or Darwin), execute Java with deterministic garbage collection, or safe GC-less allocation.</p></div>
<div class="col-md-12"><h1 id="pn-anchor-home"><a href="http://plg.uwaterloo.ca/~dynjs/"><img height="40" src="http://janvitek.github.io/img/dynjs.png" /></a></h1></div>
<div class="col-md-12"><p>This project intends to analyze the dynamic behavior of JavaScript programs and its implications on analyses and security.</p></div>
<div class="col-md-12"><h1 id="pn-anchor-home"><a href="https://github.com/allr/">Reactor</a></h1></div>
<div class="col-md-12"><p>Tools related to the R programming language including the Purdue implementation of the FastR virtual machine, timeR, testR and benchR.</p></div>
<div class="col-md-12"><h1 id="pn-anchor-home"><a href="http://larcenists.org"><img style="background:white;" height="60" src="http://larcenists.org/images/larceny.png" /></a></h1></div>
<div class="col-md-12"><p>Larceny is an implementation of the Scheme programming language written by
Will Clinger and his students.</p></div>
</div></div></div>
<footer class="footer"><p><a href="https://twitter.com/neu_prl" class="twitter-follow-button" data-show-count="false" data-lang="en">Follow the PRL</a><script type="text/javascript">!function(d,s,id){
var js,fjs=d.getElementsByTagName(s)[0];
if(!d.getElementById(id)){
js=d.createElement(s);
js.id=id;
js.src="https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js,fjs);
}
}(document,"script","twitter-wjs");</script></p>
<p>© Copyright Programming Research Laboratory 2015-2019 | made by Catchexception s.r.o. | source on <a href="https://github.com/nuprl/website">GitHub</a></p>
<a class="pn-top pn-dark" href="#pn-top"><img src="img/up-arrow.png" alt="top" /></a></footer>
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
<!-- Include all compiled plugins (below), or include individual files as needed -->
<script src="js/bootstrap.min.js"></script>
<!-- Custom scripts -->
<script src="js/custom.js"></script>
<script src="js/analytics.js"></script></div></body></html>