Repository Index

A generic goal preprocessing tool for proof automation tactics in Coq

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

AGI library for Go

• asterisk
• agi
• go
• golang

the goal of this kata is to learn to work incrementally by implementing a cli arguments parser.

• kata
• tdd
• bdd
• testing

API and js-function to allow client-side triggering of Sitecore events / goals and outcomes

Display the Goal Description in the Experience Profle

The repository host gives no description.