Pinned Repositories
kanigsson's Repositories
kanigsson/bitcoin-ada
kanigsson/aoca
Advent of Code in Ada
kanigsson/fulcrum
Fulcrum implementation in SPARK
kanigsson/base58
Base58 encoding in Ada/SPARK
kanigsson/bresenham
Proof of Bresenham in SPARK
kanigsson/cat
Playing with low-level IO and SPARK
kanigsson/compress
kanigsson/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
kanigsson/ada_spark_workflow
A demo of best practices for open-source Ada/SPARK development
kanigsson/alt-ergo
OCamlPro public development repository for Alt-Ergo
kanigsson/aoc2022
Advent of Code 2022 in SPARK
kanigsson/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
kanigsson/Genshin
kanigsson/GNAT-FSF-builds
Builds of the GNAT Ada compiler from FSF GCC releases
kanigsson/kanigsson.github.io
Website
kanigsson/Lumos_Maxima
Lumos_Maxima repository for VerifyThis challenge
kanigsson/mwe-travis-spark
A minimum working example for using SPARK 2014 and travis
kanigsson/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
kanigsson/opam-repository-mingw
windows package repository for OPAM (mingw and msvc)
kanigsson/opam64
kanigsson/rflx_refactor
Repo to share manual refactoring of RecordFlux-generated code
kanigsson/RTA_demo
small demo for RTA in SPARK
kanigsson/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
kanigsson/spark2014bench
Collection of VCs generated from SPARK
kanigsson/spark_translator
SPARK 2005 to 2014 translator
kanigsson/taocp
kanigsson/tetris
kanigsson/why3
SPARK 2014 repository for the Why3 verification platform.
kanigsson/writemap
experiments with maps and strings
kanigsson/z3
The Z3 Theorem Prover