Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in

Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • All
  • Most stars
  • Trending
  • Any
  • BibTeX
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Coq
  • Cuda
  • Dockerfile
  • Emacs Lisp
  • HTML
  • Isabelle
  • Java
  • JavaScript
  • Julia
  • Jupyter Notebook
  • Makefile
  • OCaml
  • PHP
  • Perl
  • Python
  • ShaderLab
  • Shell
  • Standard ML
  • TeX
  • Sort by
  • Updated date
  • Last created
  • Name
  • Name, descending
  • Most stars
  • Oldest updated
  • Oldest created
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • I

    Burkhart Wolff / Isabelle_C

    Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication

    Topics: lri
    1
    Updated Feb 08, 2023
    1
    Updated Feb 08, 2023
  • I

    Frédéric Tuong / isabelle_contrib

    0
    Updated Jan 29, 2023
    0 0 0 0
    Updated Jan 29, 2023
  • I

    Frédéric Tuong / isabelle_c

    0
    Updated Jul 08, 2022
    0 0 0 0
    Updated Jul 08, 2022
  • C

    Frédéric Tuong / citadelle-devel

    0
    Updated Sep 14, 2021
    0 0 0 0
    Updated Sep 14, 2021
  • I

    Frédéric Tuong / isabelle_para

    0
    Updated Sep 14, 2021
    0 0 0 0
    Updated Sep 14, 2021