-
IP Paris
- Paris, France
- bakirtzis.net
Stars
- All languages
- AMPL
- Agda
- Boogie
- Brainfuck
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dart
- Dockerfile
- Emacs Lisp
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lean
- MATLAB
- Makefile
- Nix
- Objective-C
- OpenQASM
- PHP
- Perl
- PostScript
- Prolog
- Python
- R
- Racket
- Rich Text Format
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- Vala
- Verilog
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Spelling, grammar and style checking on LaTeX documents
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
The main development version of the PRISM model checker.
BioFabric is an open-source network visualization tool
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Materials gathered at the JCrete 2017 un-conference
This is the source code repository of the MMS Libraries.
A security dashboard for analyzing cyber-physical system designs
Knowledge -- Ontology, Query, Update, Partition, Asset