
#let absint = link("https://www.absint.com/index.html", "AbsInt")
#let aiT = link("https://www.absint.com/ait/", "aiT")
#let altergo = link("https://alt-ergo.ocamlpro.com/", "Alt-Ergo")
#let aocc = link("https://www.amd.com/en/developer/aocc.html", "AOCC")
#let api_sanity_checker = link(
  "https://lvc.github.io/api-sanity-checker/",
  "API Sanity Checker"
)
#let apple = link("https://www.apple.com", "Apple")
#let armlink = {
  link("https://developer.arm.com/tools-and-software/embedded/arm-compiler",
  "Arm Linker")
}
#let astree = link("https://www.absint.com/astree/", "Astree")
#let boost = link("https://live.boost.org/", "Boost")
#let bound-T = link("https://www.bound-t.com", "Bound-T")
#let cadna = link("https://cadna.lip6.fr/index.php", "CADNA")
#let cantata = link("https://www.qa-systems.com/products/cantata", "Cantata")
#let chronos = link("https://www.comp.nus.edu.sg/~rpembed/chronos/", "Chronos")
#let clang = link("https://clang.llvm.org", "Clang")
#let compcert = link("https://compcert.org", "CompCert")
#let coq = link("https://coq.inria.fr", "Coq")
#let criterion = link("https://criterion.readthedocs.io", "Criterion")
#let cvc5 = link("https://cvc5.github.io/", "CVC5")
#let fluctuat = {
  link("https://www.lix.polytechnique.fr/~putot/fluctuat.html", "Fluctuat")
}

#let framac = link("https://frama-c.com", "Frama-C")
#let gappa = link(
  "https://gappa.gitlabpages.inria.fr/gappa/index.html",
  "Gappa"
)
#let gcc = link("https://gcc.gnu.org", "GCC")
#let gliwa = link("https://www.gliwa.com/", "Gliwa")
#let gmp = link("https://gmplib.org", "GMP")

#let haskell = link("https://www.haskell.org", "Haskell")
#let icx = link(
  "https://www.intel.com/content/www/us/en/developer/tools/oneapi/dpc-compiler.html",
  "ICX"
)
#let intel = link("https://www.intel.com", "Intel")
#let iris = link("https://iris-project.org/", "Iris")
#let isabelle = link("https://isabelle.in.tum.de", "Isabelle/HOL")
#let lean = link("https://lean-lang.org", "Lean")
#let libcester = link(
  "https://exoticlibraries.github.io/libcester/index.html",
  "LibCester"
)
#let mpfi = link("https://gitlab.inria.fr/mpfi/mpfi", "MPFI")
#let mpfr = link("https://www.mpfr.org", "MPFR")
#let msvc = link("https://docs.microsoft.com/en-us/cpp/", "MSVC")
#let novaprova = link("https://novaprova.org/", "NovaProva")
#let OCaml = link("https://ocaml.org", "OCaml")
#let opmock = link("https://opmock.com", "Opmock")
#let otawa = link("https://www.tracesgroup.net/otawa/?page_id=361", "Otawa")
#let parasoft = link(
  "https://www.parasoft.com/products/parasoft-c-ctest/",
  "Parasoft"
)
#let polyspace = {
  link("https://www.mathworks.com/products/polyspace.html", "Polyspace")
}
#let pvs = link("https://pvs.csl.sri.com", "PVS")
#let rapidtime = {
  link("https://www.rapitasystems.com/products/rapitime", "RapiTime")
}
#let redefinedc = link("https://gitlab.mpi-sws.org/iris/refinedc", "RefinedC")
#let stackanalyser = {
  link("https://www.absint.com/stackanalyzer/", "StackAnalyzer")
}
#let sweet = link("http://www.mrtc.mdh.se/projects/wcet/sweet.html", "SWEET")
#let t1stack = link("https://www.gliwa.com/products/t1stack/", "T1.stack")
#let TPT = link("https://piketec.com/tpt/", "TPT")
#let vercors = link("https://vercors.ewi.utwente.nl/", "VerCors")
#let vectorcast = link(
  "https://www.vector.com/int/en/products/products-a-z/software/vectorcast/vectorcast-c/",
  "VectorCAST/C++"
)
#let viper = link("https://viper.ethz.ch", "Viper")

#let xsc = link(
  "https://www2.math.uni-wuppertal.de/wrswt/xsc/cxsc/apidoc/html/index.html",
  "XSC"
)
#let z3 = link("https://github.com/Z3Prover/z3", "Z3")

#let llvm = link("https://llvm.org/", "LLVM")
#let microsoft = link("https://www.microsoft.com", "Microsoft")
#let inria = link("https://www.inria.fr", "INRIA")


#let linaro = link("https://www.linaroforge.com/linaro-ddt", "Linaro DDT")
#let gdb = link("https://www.gnu.org/software/gdb/", "GDB")
#let lldb = link("https://lldb.llvm.org/", "LLDB")
#let totalview = link("https://totalview.io/", "TotalView")
#let undo = link("https://undo.io/", "Undo")
#let valgrind = link("https://www.valgrind.org/", "Valgrind")
#let vsd = link("https://www.visualstudio.com/", "Visual Studio Debugger")


#let visualstudio = link(
  "https://visualstudio.microsoft.com/fr/vs/",
  "Visual Studio"
)


#let antlr = link("https://www.antlr.org/", "ANTLR")
#let byacc = link("https://invisible-island.net/byacc/", "Byacc")
#let hyacc = link("https://hyacc.sourceforge.net/", "Hyacc")
#let lemon = link("https://www.hwaci.com/sw/lemon/", "Lemon")
#let llgen = link("https://github.com/theovosse/llgen", "LLgen")
#let llnextgen = link("https://os.ghalkes.nl/LLnextgen/", "LLnextgen")
#let yacc = link(
  "https://www.tuhs.org/cgi-bin/utree.pl?file=V6/usr/source/yacc",
  "Yacc"
)
#let treesitter = link(
  "https://tree-sitter.github.io/tree-sitter/",
  "Tree-sitter"
)
#let styx = link("http://speculate.de/", "Styx")
#let cocor = link("http://ssw.jku.at/Research/Projects/Coco/", "Coco/R")
#let sablecc = link("https://sablecc.org/", "SableCC")
#let bison = link("https://www.gnu.org/software/bison/", "Bison")
#let unicc = link("https://sourceforge.net/projects/unicc/", "Unicc")
#let kmyacc = link("https://github.com/Kray-G/kmyacc", "Kmyacc")
#let apg = link("https://sabnf.com/", "APG")
#let gold = link("http://goldparser.org/", "GOLD")


#let dparser = link("https://dparser.sourceforge.io/", "DParser")
#let yaep = link("https://github.com/vnmakarov/yaep", "YAEP")
#let gdk = link("https://gdk.sourceforge.net/", "GDK")


#let buckaroo = link("https://buckaroo.pm/", "Buckaroo")
#let clib = link("https://github.com/clibs/clib", "Clib")
#let conan = link("https://conan.io/", "Conan")
#let vcpkg = link("https://vcpkg.io/en/", "vcpkg")

#let janestreet = link("https://janestreet.com", "Jane Street")
#let cameleer = link("https://github.com/ocaml-gospel/cameleer", "Cameleer")

#let alcotest = link("https://github.com/mirage/alcotest", "Alcotest")
#let ounit = link("https://github.com/gildor478/ounit", "OUnit")
#let qcheck = link("https://github.com/c-cube/qcheck", "QCheck")
#let crowbar = link("https://github.com/stedolan/crowbar", "Crowbar")
#let bun = link("https://github.com/ocurrent/bun", "Bun")

#let ppx_inline_test = link(
  "https://github.com/janestreet/ppx_inline_test",
  "ppx_inline_test",
)

#let ppx_expect = link(
  "https://github.com/janestreet/ppx_expect",
  "ppx_expect",
)

#let crates_io = link("https://crates.io")[`crates.io`]
#let lib_rs = link("https://lib.rs")[`lib.rs`]



#let dypgen = link("http://dypgen.free.fr/index.html", "Dypgen")
#let sedlex = link("https://github.com/ocaml-community/sedlex", "sedlex")
#let ulex = link("https://github.com/ocaml-community/ulex", "ulex")
#let menhir = link("https://gitlab.inria.fr/fpottier/menhir", "Menhir")

#let camlp5 = link("https://camlp5.github.io", "Camlp5")
#let opam = link("https://opam.ocaml.org/", "opam")

#let C = link("https://www.iso.org/standard/74528.html", "C")
#let Cpp = link("https://isocpp.org/", "C++")
#let Ada = link("https://www.adaic.org/", "Ada")
#let Scade = link("https://www.ansys.com/products/systems/ansys-scade-suite", "SCADE")
#let Rust = link("https://www.rust-lang.org", "Rust")

#let CNES = link("https://cnes.fr", "CNES")
#let ocaml = OCaml
#let nix = link("https://nixos.org/#", "Nix")


#let flex = link("https://github.com/westes/flex", "Flex")
#let quex = link("https://quex.sourceforge.io/", "Quex")
#let re2c = link("https://re2c.org/", "Re2c")
#let ragel = link("https://www.colm.net/open-source/ragel/", "Ragel")
#let eclair = link("https://www.bugseng.com/eclair", "ECLAIR")

#let tisanalyser = link(
  "https://www.trust-in-soft.com/trustinsoft-analyzer",
  "TrustInSoft Analyzer"
)

#let gnat = link("https://www.gnu.org/software/gnat/", "GNAT")

#let codepeer = link(
  "https://www.adacore.com/static-analysis-suite/defects-and-vulnerability",
  "CodePeer"
)

#let spark = link("https://www.adacore.com/about-spark", "SPARK")

#let cvc4 = link("https://cvc4.github.io/", "CVC4")


#let windbg = link("https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/debugger-download-tools")[WinDBG]
#let rr = link("https://rr-project.org/")[rr]

#let boost_test = link(
  "https://www.boost.org/doc/libs/1_85_0/libs/test/doc/html/index.html",
  [Boost Test Library]
)
#let catch2 = link("https://github.com/catchorg/Catch2", "Catch2")

#let gtest = link("https://github.com/google/googletest", "Google Test")
#let google = link("https://about.google", "Google")

#let safetynet = link(
  "https://bitbucket.org/rajinder_yadav/safetynet/src/master/",
  "Safetynet"
)


#let testwell_ctc = link(
  "https://www.verifysoft.com/fr_ctcpp.html",
  "Testwell CTC++"
)


#let aunit = link("https://github.com/AdaCore/aunit", "AUnit")
#let adatest95 = link(
  "https://www.qa-systems.fr/tools/adatest-95/",
  "Ada Test 95"
)
#let avhen = link("http://ahven.stronglytyped.org/", "Avhen")
#let ldra = link("https://ldra.com/products/ldra-tool-suite/", "LDRA")
#let vectorcastAda = link(
  "https://www.vector.com/int/en/products/products-a-z/software/vectorcast/vectorcast-ada/",
  "VectorCAST/Ada"
)


#let rtrt = link(
  "https://www.ibm.com/products/rational-test-realtime",
  "Rational Test RealTime"
)


#let ptcdobjada = link(
  "https://www.ptc.com/en/products/developer-tools/objectada",
  "PTC ObjectAda"
)
#let ptcapexada = link(
  "https://www.ptc.com/en/products/developer-tools/apexada",
  "PTC ApexAda"
)
#let gnatpro = link("https://www.adacore.com/gnatpro", "GNAT Pro")
#let gnatllvm = link("https://github.com/AdaCore/gnat-llvm", "GNAT LLVM")
#let gaoc = link(
  "https://www.ghs.com/products/ada_optimizing_compilers.html",
  "GreenHills Ada Optimizing Compiler")

#let janusada = link(
  "http://www.rrsoftware.com/html/blog/ja-312-rel.html",
  "Janus/Ada"
)

#let gnatstack = link(
  "https://www.adacore.com/gnatpro/toolsuite/gnatstack",
  "GNATstack"
)
