softwarelanguageslab/maf

Static Analysis Framework for Modular Analyses

Language: Scheme - Size: 12.6 MB - Last synced: about 15 hours ago - Pushed: 1 day ago - Stars: 14 - Forks: 11

softwarelanguageslab/skitter

A Domain Specific Language for Distributed, Reactive Workflows

Language: Elixir - Size: 1.72 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 0 - Forks: 0

softwarelanguageslab/maf-hs

Language: Haskell - Size: 1.21 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 2 - Forks: 2

softwarelanguageslab/lifuso

Repository containing the projects, data and results of the tool LiFUSO

Language: Java - Size: 59.8 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

softwarelanguageslab/StackFul

A concolic tester for full-stack JavaScript web applications

Language: Scala - Size: 14.7 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

softwarelanguageslab/resico-paper

Results, tools and datasets of the paper "A Text Classification Approach to API Type Resolution for Incomplete Code Snippets"

Language: Python - Size: 5.55 MB - Last synced: 7 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

softwarelanguageslab/compilers-skeletons Fork of cpsc411/cpsc411-skeletons

Skeletons for the compilers course project milestones.

Size: 131 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

softwarelanguageslab/creek

Extensible Streaming Library

Language: JavaScript - Size: 10.6 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

softwarelanguageslab/potato

The prototypical implementation of the Potato runtime.

Language: Elixir - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

softwarelanguageslab/socrates Fork of jonas-db/socrates

SoCRATES is an IntelliJ IDEA plugin to detect test smells in Scala/SBT projects.

Language: Scala - Size: 29.5 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

softwarelanguageslab/bxl_live Fork of rhumbertgz/bxl_live

Brussels Metro Live Map (Proof-of-concept)

Language: CSS - Size: 213 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

softwarelanguageslab/chocolalib Fork of jswalens/chocolalib

Chocola as an extension of Clojure

Language: Java - Size: 70.3 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0