Pinned Repositories
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.
dsinfo
The dsinfo library enables you to easily use Scala-side information in domain-specific language implementations.
inkytonik.github.io
Tony Sloane
kiama
A Scala library for language processing.
kiama.g8
giter8 project for typical Kiama-based Scala projects
LaTeXTools3
LaTeX plugin for Sublime Text 3
minijava-vscode
VSCode Language Server Client for Kiama's MiniJava compiler.
sbt-rats
sbt-rats provides a plugin that enables the Rats! parser generator to be used in Scala projects.
skink
Skink is an automatic verification tool. Currently it targets C programs and programs written in the LLVM intermediate representation. The current form of verification it implements is error function unreachability as defined by the International Software Verification Competition (SV-COMP).
inkytonik's Repositories
inkytonik/kiama
A Scala library for language processing.
inkytonik/atom-sbt
An Atom interface to the Scala Build Tool (sbt)
inkytonik/cooma
The Cooma project is investigating secure programming language design based on fine-grained object capabilities.
inkytonik/kiama.g8
giter8 project for typical Kiama-based Scala projects
inkytonik/minijava-vscode
VSCode Language Server Client for Kiama's MiniJava compiler.
inkytonik/dsinfo
The dsinfo library enables you to easily use Scala-side information in domain-specific language implementations.
inkytonik/inkytonik.github.io
Tony Sloane
inkytonik/sbt-rats
sbt-rats provides a plugin that enables the Rats! parser generator to be used in Scala projects.
inkytonik/skink
Skink is an automatic verification tool. Currently it targets C programs and programs written in the LLVM intermediate representation. The current form of verification it implements is error function unreachability as defined by the International Software Verification Competition (SV-COMP).
inkytonik/atom-monto
Atom support for Monto Disintegrated Development Environment
inkytonik/cooma-vscode
Visual Studio Code extension for the Cooma language.
inkytonik/coreemu_vnc
A C.O.R.E Network Emulator Docker image.
inkytonik/docker-grafana-graphite-skink
Docker image with StatsD, Graphite, Grafana 2 and a Kamon Dashboard, customised for Skink verification tool use
inkytonik/docker-skink
Docker image for running the Skink program verification tool from Macquarie University.
inkytonik/dsprofile
A library for domain-specific profiling in Scala and Java.
inkytonik/fshell-w2t
SV-COMP witness to test translation based on tooling originally built for FShell
inkytonik/kiama-name-examples
A collection of name and type analysis examples written using the Kiama language processing library.
inkytonik/kiama-rats.g8
giter8 project for typical Kiama-based Scala projects that use the Rats! parser generator
inkytonik/lean-training
Lean training materials
inkytonik/linter
A Base Linter with Cow Powers
inkytonik/markdown-select
VSCode extension to enhance selection in Markdown documents.
inkytonik/monto
inkytonik/monto-vscode
Structured text products for Visual Studio Code.
inkytonik/plain.g8
Plain giter8 project for my Scala projects
inkytonik/scaladex-contrib
pom => github
inkytonik/skink-dashboard
Simple dashboard view for the Skink verification tool.
inkytonik/skink-vscode
Visual Studio Code Language Server support for the Skink program verification tool.
inkytonik/sv-benchmarks
inkytonik/vscode-cmake-tools
CMake integration in Visual Studio Code
inkytonik/vscode-syntax
Syntax extension for the sbt-rats syntax language.