Skip to content

@isabelle-platform Isabelle

Change the repository type filter

All

    Repositories list

    9 repositories

    • isabelle-core

      Public
      Isabelle Core
      Rust
      •
      MIT License
      •1•0•4•1•Updated Mar 22, 2026Mar 22, 2026

    • isabelle-scripts

      Public
      Isabelle scripts
      Shell
      •0•0•0•0•Updated Mar 13, 2026Mar 13, 2026

    • isabelle-plugin-api

      Public
      Plugin API for Isabelle
      Rust
      •
      MIT License
      •0•0•0•0•Updated Mar 12, 2026Mar 12, 2026

    • isabelle-plugin-security

      Public
      Security plugin for Isabelle
      Rust
      •
      MIT License
      •0•0•0•0•Updated Mar 1, 2026Mar 1, 2026

    • release-generator

      Public
      Release generator
      Shell
      •0•0•0•0•Updated Feb 22, 2026Feb 22, 2026

    • isabelle-dm

      Public
      Isabelle data model
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jan 26, 2026Jan 26, 2026

    • .github

      Public
      0•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • sample-data-gen

      Public
      Sample data generator
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Jul 28, 2024Jul 28, 2024

    • isabelle-gc

      Public
      Calendar wrapper for Isabelle
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 1, 2024Jun 1, 2024
    ProTip! Don't forget that you can create saved views to keep track of your most important repositories!