Explore projects

P

bsdutils / panopticum
BSD 3-Clause "New" or "Revised" License

1

Updated Apr 19, 2024

1 0 0 9

Updated Apr 19, 2024
isa-afp / afp-2019

Isabelle2019 release of the Archive of Formal Proofs

0

Updated Jun 23, 2020

0 0 0

Updated Jun 23, 2020
H

xemacs / haskell-mode

0

Updated Apr 26, 2020

0 0 0 0

Updated Apr 26, 2020
isa-afp / afp-2020

Isabelle2020 release of the Archive of Formal Proofs

0

Updated Feb 11, 2021

0 0 0

Updated Feb 11, 2021
isa-afp / afp-testboard-old

To be deleted.

0

Updated May 02, 2023

0 0 0 0

Updated May 02, 2023
isa-afp / afp-2021

Isabelle2021 release of the Archive of Formal Proofs

0

Updated Dec 13, 2021

0 0 0

Updated Dec 13, 2021
isa-afp / afp-2021-1

Isabelle2021-1 release of the Archive of Formal Proofs

0

Updated Oct 14, 2022

0 0 0 0

Updated Oct 14, 2022
C

bsdutils / cputype
BSD 3-Clause Clear License

A simple utility to find correct CPUTYPE value for FreeBSD makefiles.

0

Updated May 22, 2022

0 0 0 0

Updated May 22, 2022
C

bsdutils / cabal2tuple
BSD 3-Clause "New" or "Revised" License

0

Updated Nov 07, 2024

0 0 0 1

Updated Nov 07, 2024