Displaying 1 to 8 from 8 results

OpenXcom - Open-source clone of the original X-Com 👽

  •    C++

OpenXcom is an open-source clone of the popular "UFO: Enemy Unknown" ("X-COM: UFO Defense" in the USA release) and "X-COM: Terror From the Deep" videogames by Microprose, licensed under the GPL and written in C++ / SDL. See more info at the website and the wiki.

StructTact - Coq utility and tactic library.

  •    Coq

StructTact is a Coq library of "structural tactics" (StructTactics.v) as well as libraries containing lemmas about lists (Util.v), finite types (Fin.v), and orders on strings (StringOrders.v) that use the tactics library.These files were originally developed in the context of Verdi, but have since been factored out to make them easier to use in other projects.

gapt - GAPT: General Architecture for Proof Theory

  •    Scala

GAPT is a proof theory framework developed primarily at the Vienna University of Technology. GAPT contains data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. You can also use Prover9, Vampire, EProver, and lots of other provers instead of the built-in Escargot prover, if you have them installed. There are many more examples in the user manual, and you can look into the API documentation for reference as well.

sml-dependent-lcf - A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

  •    Standard

This repository contains a library for building tactic-based refiners in the LCF and Nuprl tradition. Dependent LCF is a modernization of the old LCF tactic system, to deal with dependent refinement properly. A proof state is a telescope of judgments, where each judgment binds a metavariable in the rest of the telescope, together with a term that takes its free metavariables from the telescope.

pgn-tactics-generator - Generate chess puzzles / tactics from a pgn file

  •    Python

This is a python application dedicated to creating chess puzzles/tactics from a pgn file. Also it can download your games from lichess.org and use that file. There is another option if you don't want to install and manage python scripts I created a more user friendly tactics generator and it's online http://chesstacticsgenerator.vitomd.com It uses a different approach to create tactics, so probably it will generate a different set of tactics.

AutoTTP - Automated Tactics Techniques & Procedures

  •    Python

Automated Tactics Techniques & Procedures. Re-running complex sequences manually for regression tests, product evaluations, generate data for researchers & so on can be tedious. I toyed with the idea of making it easier to script Empire (or any frameworks/products/toolkits that provide APIs like Metasploit (RPC), Cobalt-Strike & so on) using IDE like Visual Studio Code (or equivalent). So I started to design AutoTTP. This is still very much work in progress. Please use Empire 2.2. The venn diagram in the middle of the red cycle is from Dartmouth College's "Three Tenets for Secure Cyber-Physical System Design and Assessment". It defines the necessary & sufficient conditions, or simply the requirements of any successful physical/logical attacks. I added the red ring (stages) around the venn diagram to illustrate typical offensive flows which ultimately leads to impact of Information Confidentiality, Integrity, & System Availability or Safety if it is related Cyber-Physical (think Critical Information Infrastructure).