Skip to content

@practal Practal

Change the repository type filter

All

    Repositories list

    8 repositories

    • .github

      Public
      Profile repository
      0•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • recursivetext

      Public
      Recursive teXt
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Oct 12, 2024Oct 12, 2024

    • things

      Public
      Data structures and utilities for TypeScript.
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated Oct 12, 2024Oct 12, 2024

    • term-grammar-exploration

      Public
      Exploring term syntax via Nearley
      HTML
      •
      MIT License
      •0•0•0•0•Updated Jul 4, 2024Jul 4, 2024

    • text

      Public
      Manipulating and parsing text.
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated May 1, 2023May 1, 2023

    • practal-core

      Public
      Open-source implementation of core Practal functionality.
      TypeScript
      •
      GNU Affero General Public License v3.0
      •0•4•0•0•Updated Mar 15, 2023Mar 15, 2023

    • AL-in-HOL

      Public
      Abstraction Logic formalised in Isabelle/HOL
      HTML
      •
      MIT License
      •0•3•0•0•Updated Jun 27, 2022Jun 27, 2022

    • practal-light

      Public
      Research prototype for Practal's logic.
      Swift
      •
      MIT License
      •1•9•0•0•Updated Sep 1, 2021Sep 1, 2021