Beast code in Giters

Andrew Gacek's starred repositories

langium

Next-gen language engineering / DSL framework

Language:TypeScriptMIT73400

teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog

Language:CGPL-3.014900

camkes-vm

Virtual Machine built as a CAmkES component.

Language:CNOASSERTION2400

osate2-plugins

Old analysis plugins for OSATE2 repository, kept for reference

Language:Java1300

ReluplexCav2017

Language:CNOASSERTION10100

util_libs

Language:CNOASSERTION5500

toyprover

A toy LCF-style prover

Language:OCamlWTFPL100

Working

a shared repo

Language:TeX200

jkind

JKind - a Java implementation of the KIND model checker

Language:JavaNOASSERTION100

smtinterpol

SMTInterpol interpolating SMT solver

Language:JavaLGPL-3.06000

capDL-tool

DEPRECATED: This has been moved to https://github.com/seL4/capdl

Language:HaskellNOASSERTION500

libplatsupport

DEPRECATED: This library has been moved to https://github.com/seL4/util_libs

Language:CNOASSERTION700

camkes-tool

The main CAmkES tool

Language:Python2900

seL4

The seL4 microkernel

Language:CNOASSERTION471600

loonwerks.github.io

Language:HTML100

osate-ge

Old Graphical editor for OSATE repository, kept for reference

Language:Java600

SpeAR

Specification and Analysis for Requirements Tool

Language:JavaNOASSERTION1000

ivory

The Ivory EDSL

Language:HaskellBSD-3-Clause39200

jkind

JKind - An infinite-state model checker for safety properties in Lustre

Language:JavaNOASSERTION5200

jkind

Language:JavaNOASSERTION200

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlGPL-3.0200

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlGPL-3.08900