inkytonik Goto Github PK

atom-monto

Atom support for Monto Disintegrated Development Environment

atom-sbt

An Atom interface to the Scala Build Tool (sbt)

cooma

The Cooma project is investigating secure programming language design based on fine-grained object capabilities.

cooma-vscode

Visual Studio Code extension for the Cooma language.

coreemu_vnc

A C.O.R.E Network Emulator Docker image.

docker-grafana-graphite-skink

Docker image with StatsD, Graphite, Grafana 2 and a Kamon Dashboard, customised for Skink verification tool use

docker-skink

Docker image for running the Skink program verification tool from Macquarie University.

dsinfo

The dsinfo library enables you to easily use Scala-side information in domain-specific language implementations.

dsprofile

A library for domain-specific profiling in Scala and Java.

fshell-w2t

SV-COMP witness to test translation based on tooling originally built for FShell

homebrew

The missing package manager for OS X.

inkytonik.github.io

Tony Sloane

kiama

A Scala library for language processing.

kiama-name-examples

A collection of name and type analysis examples written using the Kiama language processing library.

kiama-rats.g8

giter8 project for typical Kiama-based Scala projects that use the Rats! parser generator

kiama.g8

giter8 project for typical Kiama-based Scala projects

latextools3

LaTeX plugin for Sublime Text 3

lean-training

Lean training materials

linter

A Base Linter with Cow Powers

make-release-notes

The project that generates Scala release notes.

markdown-select

VSCode extension to enhance selection in Markdown documents.

minijava-vscode

VSCode Language Server Client for Kiama's MiniJava compiler.

monto

monto-vscode

Structured text products for Visual Studio Code.

nuclide

An open IDE for web and native mobile development, built on top of Atom

package_control_channel

Default channel file for Package Control. Follow the directions at:

plain.g8

Plain giter8 project for my Scala projects

sbt-rats

sbt-rats provides a plugin that enables the Rats! parser generator to be used in Scala projects.

scaladex-contrib

pom => github

scalameter.g8

giter8 project for ScalaMeter projects